1271 search results - page 164 / 255 » On Simulation-Checking with Sequential Systems |
SIGMOD
2010
ACM
14 years 3 months ago
2010
ACM
In this paper, we propose an online aggregation system called COSMOS (Continuous Sampling for Multiple queries in an Online aggregation System), to process multiple aggregate quer...
ICANN
2009
Springer
14 years 2 months ago
2009
Springer
The sequential structure of complex actions is apparently at an abstract “cognitive” level in several regions of the frontal cortex, independent of the control of the immediate...
HICSS
2000
IEEE
14 years 2 months ago
2000
IEEE
Electronic commerce applications have special features compared to conventional information systems. First, because electronic commerce usually involves yet nonexisting business a...
SRDS
2000
IEEE
14 years 2 months ago
2000
IEEE
One way to implement a fault-tolerant a service is by replicating it at sites that fail independently. One of the replication techniques is active replication where each request i...
CC
2000
Springer
14 years 2 months ago
2000
Springer
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...