332 search results - page 30 / 67 » Protocol Modelling Semantics for Embedded Systems |
ATAL
2005
Springer
14 years 29 days ago
2005
Springer
Although mental states have its own place in the definition of message semantics, social commitments have emerged as a complementing element to circumvent the limitations of usin...
ICA3PP
2007
Springer
14 years 1 months ago
2007
Springer
Classification is a kind of basic semantics that people often use to manage versatile contents in daily life. Resource Space Model (RSM) is a semantic model for sharing and managin...
ICESS
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
UML
2005
Springer
14 years 27 days ago
2005
Springer
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...
ECAI
2004
Springer
14 years 24 days ago
2004
Springer
This paper presents an architecture that helps users to collect and qualify meta-information about web resources within a weblog and then share them with a group of people. Our arc...