7124 search results - page 120 / 1425 » Programming Languages and Operating Systems |
ICALP
1992
Springer
15 years 1 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
IPSN
2007
Springer
15 years 4 months ago
2007
Springer
The development of high-level programming environments is essential if wireless sensor networks are to be accessible to nonexperts. In this paper, we present the Regiment system, ...
ICEIS
2007
IEEE
15 years 4 months ago
2007
IEEE
ASIAN
1998
Springer
15 years 2 months ago
1998
Springer
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for e...
SIGOPSE
2000
ACM
15 years 2 months ago
2000
ACM
The role of small devices in the emerging all-connected computer infrastructure is growing. So are the requirements that the application execution environments face. Portability, ...