748 search results - page 97 / 150 » concurrency 2008 |
65
Voted
STTT
2008
15 years 13 days ago
2008
Military logistics concerns the activities required to support operational forces. It encompasses the storage and distribution of materiel, management of personnel and the provisio...
91
Voted
COMCOM
2000
15 years 10 days ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
112
Voted
COMCOM
1998
15 years 7 days ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...
95
Voted
PVLDB
2008
15 years 8 hour ago
2008
Progress in science and engineering relies on the ability to measure, reliably and in detail, pertinent properties of artifacts under design. Progress in the area of database-inde...
PVLDB
2008
15 years 7 hour ago
2008
Immortal DB is a transaction time database system designed to enable high performance for temporal applications. It is built into a commercial database engine, Microsoft SQL Serve...