2607 search results - page 256 / 522 » On the Architecture of System Verification Environments |
170
click to vote
SIGUCCS
2003
ACM
15 years 12 months ago
2003
ACM
Higher education institutions have been striving to improve services and keep pace with new technologies. In a Higher education environment, the users utilize the available comput...
191
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...
157
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
165
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
This paper describes our ongoing work on a system that provides information about network resources and related communication facilities to applications running on a mobile device...
187
click to vote
FLAIRS
2003
15 years 8 months ago
2003
AI planning systems tend to be disembodied and are not situated within the environment for which plans are generated, thus losing information concerning the interaction between th...