Automaton in or Out: Run-Time Plan Optimization for XML Stream Processing
White Papers Many systems such as Tukwila and YFilter combine automaton and algebra techniques to process queries over tokenized XML streams. Typically in this architecture, an automaton is first used to locate all query patterns in the input stream and compose...
[December 24, 2008, 0:00]
CELLAR: A High Level Cellular Programming Language With Regions
White Papers Regions are spatiotemporal objects that define zones of the automaton (set of cells), containing interesting and meaningful data patterns or trends that can be defined as events. Each cell of the automaton can monitor regions for a given period and...
[January 9, 2009, 0:00]
A Formal Method for Attack Modeling and Detection
White Papers Second, using the Enhanced Attack Trees (EAT) the authors build a tree automaton that accepts a sequence of actions from input stream if there is a traverse of an attack tree from leaves to the root node.
[November 8, 2006, 0:00]
Game of Lives
Downloads It's a 'cellular automaton' invented by Cambridge mathematician John Horton Conway. The Game of Life is not your typical computer game. The original intention was to model the process of birth, survival, and death, the idea being...
[November 7, 2003, 0:58]
PocketLife
Downloads The Game of Life is not your typical computer game, it is a "cellular automaton," and was invented by Cambridge mathematician John Horton Conway (as you might have gathered). The original intention was to model the process of birth, survival, and...
[March 14, 2008, 7:00]
Data Mining With Cellular Automata
White Papers A cellular automaton is a discrete, dynamical system composed of very simple, uniformly interconnected cells. Cellular automata may be seen as an extreme form of simple, localized, distributed machines.
[October 1, 2008, 1:01]
Efficient Online Monitoring of Web-Service SLAs
White Papers Acceptance of a timed word by a timed automaton can be decided in quadratic time and because the timed automata can operate while messages are exchanged at runtime there is effectively only a linear run-time overhead.
[December 24, 2008, 0:00]
Modeling and Analysis of Switched Buffer Networks Using Hybrid Automata
White Papers The hybrid automaton model can be used to verify properties of the controlled system (as the paper demonstrates in the paper using the PHAVer tool) and eventually for automatic synthesis of controllers that satisfy requirements or optimize some...
[September 11, 2008, 1:01]
Semantic Query Optimization for Processing XML Streams With Minimized Memory Footprint
White Papers An automaton-based technique is developed to detect PNO constraints at runtime. XQuery evaluation over XML streams requires the temporary buffering of XML elements. This paper presents a semantic query optimization solution to minimize memory...
[December 24, 2008, 0:00]
FastParser
Downloads It is based on a Turing finite state automaton. From the developer: "FastParser is an XML parser for non-validating XML processing. It is up to more than 400 percent faster compared to Xerces and JDK1.4 integrated parser, including SAX 1/2 and DOM...
[February 18, 2003, 8:23]
Fujitsu opens up Linux-based humanoid robot
News The company began selling the automaton, called Hoap-1, last week. Fujitsu is poised to release technical details on Tuesday of a humanoid robot that can walk on its own two legs. The 48cm-tall robot is shaped like a humanoid, weighs 6kg and has...
[September 17, 2001, 16:44]
SYBERIA 2
Downloads Having searched Eastern and Western Europe for a missing heir, Kate Walker finally completed her long and arduous journey, obtaining the signature of Hans Voralberg and closing the automaton factory buyout.
[February 26, 2007, 7:00]
Sentience: The next moral dilemma
News Would it be forced to exist like its automaton predecessors who have effectively been our slaves, or would it enjoy the same rights as the humans who created it, simply because of its intellect? Sometime in the future machines will reach a level of...
[January 24, 2001, 16:30]
2001: The year of the robot
News In September it released the technical specs of its Linux-based Hoap-1 automaton, in the hope that users would use the information to create their own programs. A UK-based company designed a robot hound that dwarfed the AIBO, only for Sony hit back...
[December 27, 2001, 6:31]
