2111 search results - page 69 / 423 » How to Program Pervasive Systems |
180
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
164
click to vote
FASE
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
243
click to vote
PUC
2011
15 years 1 months ago
2011
OPEN is an ontology-based programming framework for rapid prototyping, sharing, and personalization of context-aware applications. Unlike previous systems that provide programming ...
162
click to vote
ICLP
2004
Springer
15 years 11 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
174
click to vote
CLIMA
2009
15 years 4 months ago
2009
This paper proposes an operational semantics for BDI modules that can be incorporated in multi-agent programming languages. The introduced concept of modules facilitates the implem...