Sciweavers

3885 search results - page 451 / 777
» Clarifying Goal Models
Sort
View
CN
2006
58views more  CN 2006»
15 years 6 months ago
Tackling Web dynamics by programmable proxies
Web services are becoming increasingly complex as users become more experienced in their requests to access an ever growing collection of information on the Web. In this paper we ...
Delfina Malandrino, Vittorio Scarano
ENTCS
2006
114views more  ENTCS 2006»
15 years 6 months ago
Prototyping SOS Meta-theory in Maude
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
Mohammad Reza Mousavi, Michel A. Reniers
IJRR
2008
106views more  IJRR 2008»
15 years 6 months ago
Cooperative Cleaners: A Study in Ant Robotics
Abstract. In the world of living creatures, "simple minded" animals often cooperate to achieve common goals with amazing performance. One can consider this idea in the co...
Israel A. Wagner, Yaniv Altshuler, Vladimir Yanovs...
ISCA
2008
IEEE
101views Hardware» more  ISCA 2008»
15 years 6 months ago
Scalability in Analyzing the Availability of Large-Scale Networks using Multicast
The goal of this paper is to identify and discuss scalability issues for the measurement-based analysis of the availability in large-scale networks using IP multicast technology. ...
Falko Dressler
ISI
2006
Springer
15 years 6 months ago
The Hats Simulator and Colab: An Integrated Information Fusion Challenge Problem and Collaborative Analysis Environment
We present an overview of our work in information fusion for intelligence analysis. This work includes the Hats Simulator and the COLAB system. The Hats Simulator is a parameterize...
Clayton T. Morrison, Paul R. Cohen