7430 search results - page 666 / 1486 » Programming Applications in CIFF |
191
Voted
AINA
2009
IEEE
16 years 12 days ago
2009
IEEE
This work describes a generic database service for the lightweight Venice Service Grid, which has been developed at the University of Kaiserslautern, Germany. By using Web service...
182
Voted
VR
2002
IEEE
16 years 5 days ago
2002
IEEE
We present DIVERSE, a highly modular collection of complimentary software packages designed to facilitate the creation of device independent virtual environments. DIVERSE is free/...
196
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
223
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
THOR is a persistent object store that provides a powerful programming model. THOR ensures that persistent objects are accessed only by calling their methods and it supports atomic...
195
Voted
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...