13489 search results - page 100 / 2698 » Operating System |
133
click to vote
AIIA
2005
Springer
15 years 10 months ago
2005
Springer
We look at extensions of modal logic for representation and reasoning in the area of multi-agent systems. Building on dynamic logic and Henkin quantifiers, we study an unusual typ...
136
click to vote
MOC
2010
14 years 11 months ago
2010
A version of the Dynamical Systems Method (DSM) for solving ill-posed nonlinear equations with monotone operators in a Hilbert space is studied in this paper. An a posteriori stopp...
116
click to vote
GRID
2005
Springer
15 years 10 months ago
2005
Springer
Abstract— We propose a method for wide-area message passing systems to perform collective operations using dynamically created spanning trees. In our proposal, broadcasts and red...
167
click to vote
ISSRE
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we present a method for automatically testing interactive multimodal systems1 . The proposed approach was originally dedicated to synchronous programming which is ma...
116
click to vote
INFOCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper presents a new cooperative storage system for sensor networks geared for disconnected operation (where sensor nodes do not have a connected path to a basestation). T...