592 search results - page 90 / 119 » CTL Model Update: Semantics, Computations and Implementation |
EMSOFT
2006
Springer
14 years 21 days ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
CIKM
2001
Springer
14 years 1 months ago
2001
Springer
Managing trust is a problem of particular importance in peer-to-peer environments where one frequently encounters unknown agents. Existing methods for trust management, that are b...
MEDINFO
2007
13 years 10 months ago
2007
OpenEHR specifications have been developed to standardise the representation of an international electronic health record (EHR). The language used for querying EHR data is not as ...
PPOPP
2010
ACM
14 years 6 months ago
2010
ACM
Drawing inspiration from several previous projects, we present an ownership-record-free software transactional memory (STM) system that combines extremely low overhead with unusua...
NETGAMES
2006
ACM
14 years 3 months ago
2006
ACM
Multi-player Online Games (MOGs) have emerged as popular data intensive applications in recent years. Being used by many players simultaneously, they require a high degree of faul...