2607 search results - page 346 / 522 » On the Architecture of System Verification Environments |
237
click to vote
ENTCS
2002
15 years 7 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 ...
174
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...
203
click to vote
ICALT
2007
IEEE
16 years 1 months 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...
200
click to vote
OTM
2005
Springer
16 years 21 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...
206
click to vote
PPAM
2005
Springer
16 years 20 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...