Sciweavers

840 search results - page 128 / 168
» A low-complexity issue logic
Sort
View
BROADNETS
2004
IEEE
15 years 3 months ago
Handheld Routers: Intelligent Bandwidth Aggregation for Mobile Collaborative Communities
Multi-homed, mobile wireless computing and communication devices can spontaneously form communities to logically combine and share the bandwidth of each other's wide-area com...
Puneet Sharma, Sung-Ju Lee, Jack Brassil, Kang G. ...
ATAL
2006
Springer
15 years 3 months ago
Run-time model checking of interaction and deontic models for multi-agent systems
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
Nardine Osman, David Robertson, Christopher Walton
E4MAS
2004
Springer
15 years 3 months ago
Modelling Environments for Distributed Simulation
Abstract. Decentralised, event-driven distributed simulation is particularly suitable for modelling systems with inherent asynchronous parallelism, such as agentbased systems. Howe...
Michael Lees, Brian Logan, Rob Minson, Ton Oguara,...
CSWWS
2006
15 years 3 months ago
A Semantic Web Mediation Architecture
Abstract. Heterogeneity is an inherent characteristic of open and distributed environments like the Internet that can hamper Web resources and Web services from successful interope...
Michael Stollberg, Emilia Cimpian, Adrian Mocan, D...
FM
2006
Springer
127views Formal Methods» more  FM 2006»
15 years 3 months ago
Using Domain-Independent Problems for Introducing Formal Methods
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
Raymond T. Boute