3575 search results - page 132 / 715 » Modeling Concurrency with Geometry |
136
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
134
click to vote
ISTCS
1992
Springer
15 years 5 months ago
1992
Springer
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...
101
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
127
Voted
ECBS
2009
IEEE
15 years 8 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
165
click to vote
IS
2000
15 years 1 months ago
2000
Abstract With the rapid advances in mobile computing technology, there is an increasing demand for processing realtime transactions in a mobile environment. This paper studies con...