239 search results - page 20 / 48 » Temporal Languages for Epistemic Programs |
ICDCS
2002
IEEE
15 years 2 months ago
2002
IEEE
We focus on an important problem in the space of ubiquitous computing, namely, programming support for the distributed heterogeneous computing elements that make up this environme...
UM
2005
Springer
15 years 2 months ago
2005
Springer
Stereotypes and clustering are some techniques for creating user models from user behavior. Yet, they possess important risks as users actions could be misinterpreted or users coul...
TPHOL
1998
IEEE
15 years 1 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
ISORC
2009
IEEE
15 years 4 months ago
2009
IEEE
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
ATAL
2007
Springer
15 years 1 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...