1699 search results - page 178 / 340 » A timed semantics of Orc |
DAWAK
2009
Springer
14 years 20 days ago
2009
Springer
Frequent constraint violations on the data stored in a database may suggest that the semantics of the represented reality is changing. In this work we propose a methodology and a t...
FM
2001
Springer
14 years 16 days ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
WETICE
1999
IEEE
14 years 9 days 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
14 years 4 days 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...
EURODAC
1995
IEEE
13 years 11 months ago
1995
IEEE
With VHDL models increasing their size, it becomes more important to assure the quality of these descriptions in order to improve simulation performances, to make project maintain...