1524 search results - page 205 / 305 » Operational Semantics of Hybrid Systems |
73
Voted
WETICE
1999
IEEE
15 years 2 months ago
1999
IEEE
Our Workgroup Cache system operates as a virtual intranet, introducing a shared cache to members of the same workgroup. Users may be members of multiple workgroups at the same tim...
LICS
1993
IEEE
15 years 2 months ago
1993
IEEE
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type infer...
ATAL
2008
Springer
14 years 12 months ago
2008
Springer
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...
IESA
2007
14 years 11 months ago
2007
The application of model-driven development facilitates faster and more flexible integration by separating system descriptions to different levels of abstraction. In crossorganisat...
DMS
2008
14 years 11 months ago
2008
In this paper I propose a model for situated information processing based on a set of layers, each related to a different processing phase and to a different context type. The mod...