902 search results - page 119 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
90
Voted
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
86
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...
94
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
119
click to vote
ECMDAFA
2008
Springer
15 years 2 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
93
Voted
RE
2008
Springer
15 years 2 days ago
2008
Springer
Representation and reasoning about goals of an information system unavoidably involve the transformation of unclear stakeholder requirements into an instance of a goal model. If t...