275 search results - page 30 / 55 » Operational and Logical Semantics for Polling Real-Time Syst... |
FOIKS
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...
107
click to vote
OSDI
2006
ACM
16 years 3 days ago
2006
ACM
We present the design, implementation, and evaluation of a fully distributed directory service for Farsite, a logically centralized file system that is physically implemented on a...
FLAIRS
2003
15 years 1 months ago
2003
Spacecraft are key components of military operations and everyday life. To achieve space situation awareness, human operators must monitor large numbers of parameters. During off-...
113
click to vote
LOPSTR
2005
Springer
15 years 5 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
104
click to vote
MIDDLEWARE
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...