511 search results - page 53 / 103 » Computational aspects of the FLBC framework |
172
click to vote
ICPPW
2009
IEEE
15 years 3 months ago
2009
IEEE
The JXTA-Overlay project is an effort to use JXTA technology to provide a generic set of functionalities that can be used by developers to deploy P2P applications. Since its desig...
171
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
189
click to vote
AGS
2009
Springer
16 years 6 days ago
2009
Springer
Recently, we introduced Behavioural State Machines (BSM ), a novel programming framework for development of cognitive agents with Jazzyk, its associated programming language and in...
114
click to vote
ISPDC
2005
IEEE
15 years 11 months ago
2005
IEEE
Online travel support systems have often been cited as an ideal proving ground for agent-based architectures, yet no working systems have materialized. Over the last few years we ...
152
click to vote
GCC
2004
Springer
15 years 11 months ago
2004
Springer
As an important aspect of grid security, access control model gets more and more attention. Entities in virtual organizations (VOs) must establish a dynamic, secure and cooperative...