171 search results - page 13 / 35 » A delta-driven execution model for semantic computing |
FLAIRS
2004
15 years 14 days ago
2004
Many dramatizations have depicted a fully automated home living environment, where actions and events are understood or even anticipated. While the realization of such environment...
176
Voted
POPL
2009
ACM
15 years 11 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
VL
1998
IEEE
15 years 2 months ago
1998
IEEE
We report on the development of a visual programming environment for building applications for execution on a range of parallel computing platforms. This work exploits the dataflo...
100
click to vote
BIRTHDAY
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
101
click to vote
ACSC
2004
IEEE
15 years 2 months ago
2004
IEEE
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...