2607 search results - page 346 / 522 » On the Architecture of System Verification Environments |
200
click to vote
ENTCS
2002
15 years 6 months ago
2002
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
154
click to vote
ICEIS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we detail specifications of a Visualization On-Demand (VizOD) server. We show that packaging information visualization processes into services reachable over a netw...
186
click to vote
ICALT
2007
IEEE
16 years 27 days ago
2007
IEEE
In this paper we propose a set of development guidelines for an adaptive authoring environment of adaptive educational hypermedia. This set consists of relevant and necessary funct...
179
click to vote
OTM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. A significant increase in real world event monitoring capability with wireless sensor networks brought a new challenge to ubiquitous computing. To manage high volume and...
182
click to vote
PPAM
2005
Springer
16 years 2 days ago
2005
Springer
The complexity and the dynamics of the Grid environment and of the emering workflow-based applications on the Grid require novel performance monitoring and analysis services in or...