Abstract: A cell phone which has been modified by the addition of software which responds to the press of one or more Busy keys by automatically sending a pre-typed text message to the sender of the latest text message just received or automatically answering an incoming call immediately upon pressing the Busy key and playing a pre-recorded audio message. The outgoing text or audio message can inform the sender of the incoming text or the caller that the user is driving or otherwise engaged and cannot respond immediately. In some embodiments, one or more Busy keys can be added keys or one or more existing keys on the cell phone or on the keypad of the cell phone or on a touchscreen or a visual depiction of a keypad on a touchscreen of the cell phone.

Abstract: A cell phone system which has been modified by the addition of software and hardware to determine the speed of at least phones to which incoming text messages are directed and determine whether or not to send an automated text message response to the sender indicating the user to which the text is directed cannot respond immediately. If such a response message is to be sent, automatically generating and sending said text message. If not, forwarding the text message to the cell phone to which it is directed.

Abstract: A cell phone which has been modified by the addition of software which responds to the press of one or more Busy keys by automatically sending a pre-typed text message to the sender of the latest text message just received or automatically answering an incoming call immediately upon pressing the Busy key and playing a pre-recorded audio message. The outgoing text or audio message can inform the sender of the incoming text or the caller that the user is driving or otherwise engaged and cannot respond immediately. In some embodiments, one or more Busy keys can be added keys or one or more existing keys on the cell phone or on the keypad of the cell phone or on a touchscreen or a visual depiction of a keypad on a touchscreen of the cell phone.

Abstract: An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness. In addition, a translator is provided to automatically generate a complete, robust software application based on the validated formal specification, including user-interface code and error handling code.

Abstract: A process to make a connector is enclosed. The claimed embodiment comprises the following steps. First, design an insulating substrate using a customer specification. Second, program a Computer Numerical Control machine tool to form holes in the insulating substrate according to the design made in step one. Third, program a computer controlled dispensing machine tool to dispense conductive polymer into each hole formed in step 2. Fourth, form holes in the insulating substrate using the programmed Computer Numerical Control machine tool. Fifth, place a pin in each hole. Sixth, using a computer controlled automated dispensing machine, dispense electrically conductive polymer into each hole around the pin. And, finally, cure the polymer to hold the pin in place.

Abstract: An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness. In addition, a translator is provided to automatically generate a complete, robust software application based on the validated formal specification, including user-interface code and error handling code.

Abstract: A diaper bag having a major compartment with pockets on the walls or bottom thereof for one or more of the following accessories needed either by the mother or baby for travel: wipes, diapers, spare clothes, Mom's ipod, cell phone, keys and/or wallet, a changing mat, snacks, formula, baby food, and having actively or passively heated and cooled insulated compartments for formula, baby food included on the inside or outside of the main compartment.

Abstract: A full duplex radio bridge using two transceivers coupled to a first packet network, one for transmitting data toward another radio bridge coupled to a second packet network, and the other for receiving data transmitted from the first packet network toward said second packet network by a transceiver of the other radio bridge. Each radio bridge is coupled to its packet network through one network port whose transmit data path is coupled to one of the transceivers, and whose receive data path is coupled to receive data from the other transceiver. An inner loop and outer loop is used. Management packets are routed to the various transceivers using the inner loop and outer loop by routing and filtering functions. Payload packets are transmitted from one packet network to the other using only the outer loop.

Abstract: An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness. In addition, a translator is provided to automatically generate a complete, robust software application based on the validated formal specification, including user-interface code and error handling code.

Abstract: In a network element cluster having a plurality of nodes, distribution decisions are determined on the basis of certain field(s) of data packets according to predetermined criteria, and data packets are distributed to nodes of the network element cluster according to the distribution decisions. Data packets are processed by said nodes of the network element cluster, and the processing involves selecting at least partly arbitrary value(s) for at least one of the field(s) of at least one data packet. Such value(s) are selected for at least one of said certain field(s) of a third data packet, such that distribution decisions determined according to the predetermined criteria result in the same node in the cluster processing inbound and outbound packets of the same session ID.

Abstract: An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness. In addition, a translator is provided to automatically generate a complete, robust software application based on the validated formal specification, including user-interface code and error handling code.

Abstract: A method (400, 500, 600, 700) for synchronizing state information in a security gateway cluster comprising at least two nodes comprises the following steps. Synchronizing (403) state information by sending state information from a first node of said at least two nodes, detecting (401) in said security gateway cluster a predetermined irregularly occurring action, and initiating (402) synchronization of state information as a response to said action. The state information is sent to at least a second node of said at least two nodes. Corresponding computer program, computer program product, software entities (910, 920), a node (900) of a security gateway cluster (950) and a security gateway cluster are also presented.

Abstract: A floor planner tool for integrated circuit design which provides tools and displays for a designer to create a floor plan to define desired placement of circuits defined in a logical netlist by creating a physical hierarchy comprised of nested pblocks. Each pblock is a data structure which contains data which defines which circuits from the logical netlist are assigned to it. Each pblock stands alone and can be input to a place and route tool without the rest of the physical hierarchy. Each pblock data structure contains pointers to the circuits on the netlist assigned to that plbock, identifies other pblocks nested within it and contains at least a list of boundary pins for that pblock. Net data structures in the physical hierarchy define which nets are connected to which pins. PCellview data structures define the internal structure of each pblock.

Abstract: A floor planner tool for integrated circuit design which provides tools and displays for a designer to create a floor plan to define desired placement of circuits defined in a logical netlist by creating a physical hierarchy comprised of nested pblocks. Each pblock is a data structure which contains data which defines which circuits from the logical netlist are assigned to it. Each pblock stands alone and can be input to a place and route tool without the rest of the physical hierarchy. Each pblock data structure contains pointers to the circuits on the netlist assigned to that plbock, identifies other pblocks nested within it and contains at least a list of boundary pins for that pblock.

Abstract: A floor planner tool for integrated circuit design which provides tools and displays for a designer to create a floor plan to define desired placement of circuits defined in a logical netlist by creating a physical hierarchy comprised of nested pblocks. Each pblock is a data structure which contains data which defines which circuits from the logical netlist are assigned to it. Each pblock stands alone and can be input to a place and route tool without the rest of the physical hierarchy. Each pblock data structure contains pointers to the circuits on the netlist assigned to that plbock, identifies other pblocks nested within it and contains at least a list of boundary pins for that pblock.

Abstract: A floor planner tool for integrated circuit design which provides tools and displays for a designer to create a floor plan to define desired placement of circuits defined in a logical netlist by creating a physical hierarchy comprised of nested physical blocks (pblocks). Each pblock is a data structure which contains data which defines which circuits from the logical netlist are assigned to it. Each pblock stands alone and can be input to a place and route tool without the rest of the physical hierarchy. Each pblock data structure contains pointers to the circuits on the netlist assigned to that pblock, identifies other pblocks nested within it and contains a list of pins for the instances within the pblock. Net data structures in the physical hierarchy define which nets are connected to which pins.

Abstract: A method for processing data packets in a gateway element comprises the steps of: comparing a data packet to screening information comprising a set of rules, and processing a data packet according to a rule belonging to the set of rules, the header information of said data packet matching the header information of said rule. The method is characterized in that said screening information is hierarchically structured so that it comprises a first rule, which specifies first header information, and a subset of rules relating to said first rule, and in that in said step of comparing a data packet, said data packet is compared to said subset of rules only if the header information of the data packet matches the header information of the first rule. A gateway element, an arrangement, and a data structure comprising screening information are also presented.

Abstract: A system to automatically gather attribute data about elements such as networks, network interface cards, operating systems, device types, installed software, processes in execution, financial data, etc. in an organization or a designated subset of the organization. Fingerprint files are used, each fingerprint file corresponding to an element of a specific type and each containing a list of attributes that will be found if that element exists in the system. Each fingerprint contains or points to one or more collection instructions which control a data collector process to attempt to gather attribute data. Each fingerprint contains or points to rules that are used to analyze the attribute data gathered to calculate the probability that the element exists. The rules can be fired sequentially, in if-then-else fashion or can be incorporated in a script in loops and with mathematical manipulations, tests and branching for more sophisticated analysis.

Abstract: An incinerator room to store secret documents and destroy them automatically according to a burn sequence by spraying slow burning flammable liquid on the contents of said room from one or more reservoirs. A control circuit, preferably supplied with energy from a secure source such as a battery, controls the ignition sequence to spray the flammable liquid, then start ignition means and start an exhaust fan and open optional electrically operated shutters or flue. The electrically operated flue prevents unauthorized access to the room by humans or fiber optic spying apparatus via ingress through the chimney of the exhaust system. Pressurized reservoirs and electrically operated valves are used in the preferred embodiment.

Abstract: For achieving packet authentication according to an applicable security policy between a sending node (903) and a receiving node (902) in a network, the following steps are taken: the transformations occurring to a packet en route between the sending node and the receiving node are discovered dynamically (1003, 1004), the discovered transformations are checked (1004) to be acceptable based on the applicable security policy, and the dynamically discovered, acceptable transformations are compensated for (1004, 1006) before authenticating packets transmitted from the sending node to the receiving node.