3335 search results - page 618 / 667 » A Unified Approach to Modeling and Programming |
154
Voted
NGITS
1993
Springer
15 years 8 months ago
1993
Springer
AMOS (Active Mediators Object System) is an architecture to model, locate, search, combine, update, and monitor data in information systems with many work stations connected using...
183
Voted
CASES
2007
ACM
15 years 8 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
136
click to vote
CCGRID
2004
IEEE
15 years 7 months ago
2004
IEEE
: The Open Grid Service Infrastructure (OGSI) has been designed to facilitate the creation of multiple, interoperable Grid Service hosting environments, but to date only one fully ...
139
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Many agent problems in a grid world have a restricted sensory information and motor actions. The environmental conditions need dynamic processing of internal memory. In this paper...
143
click to vote
REX
1991
15 years 7 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...