1121 search results - page 152 / 225 » Building Formal Requirements Models for Reliable Software |
157
click to vote
DILS
2005
Springer
15 years 9 months ago
2005
Springer
Few ontologies in the ecological domain exist, but their development can take advantage of gained experience in other domains and from existing modeling practices in ecology. Taxon...
138
click to vote
EUROSYS
2008
ACM
16 years 1 months ago
2008
ACM
The tuple space coordination model is one of the most interesting coordination models for open distributed systems due to its space and time decoupling and its synchronization pow...
139
click to vote
WINET
2002
15 years 3 months ago
2002
We describe a platform for context-aware computing which enables applications to follow mobile users as they move around a building. The platform is particularly suitable for rich...
133
Voted
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
157
click to vote
MIDDLEWARE
2004
Springer
15 years 9 months ago
2004
Springer
This paper surveys a variety of subsystems designed to be the building blocks from which sophisticated infrastructures for ubiquitous computing are assembled. Our experience shows...