Sciweavers

13180 search results - page 2456 / 2636
» Network Models
Sort
View
CBSQ
2003
Springer
15 years 8 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
CIA
2003
Springer
15 years 8 months ago
A Peer-to-Peer Approach to Resource Discovery in Multi-agent Systems
A multi-agent system is a network of software agents that cooperate to solve problems. In open multi-agent systems, the agents that need resources provided by other agents are not ...
Vassilios V. Dimakopoulos, Evaggelia Pitoura
144
Voted
COSIT
2003
Springer
132views GIS» more  COSIT 2003»
15 years 8 months ago
"Simplest" Paths: Automated Route Selection for Navigation
Numerous cognitive studies have indicated that the form and complexity of route instructions may be as important to human navigators as the overall length of route. Most automated ...
Matt Duckham, Lars Kulik
111
Voted
DIGRA
2003
Springer
15 years 8 months ago
Uncle Roy all around you: mixing games and theatre on the city streets
We describe Uncle Roy All Around You, a mixture of game and theatre that took place in central London in late May and early June of 2003. Street players, equipped with handheld co...
Martin Flintham, Rob Anastasi, Steve Benford, Adam...
145
Voted
GRID
2003
Springer
15 years 8 months ago
Scoped and Approximate Queries in a Relational Grid Information Service
We are developing a grid information service, RGIS, that is based on the relational data model. RGIS supports complex queries written in SQL that search for compositions (using jo...
Dong Lu, Peter A. Dinda, Jason A. Skicewicz
« Prev « First page 2456 / 2636 Last » Next »