13489 search results - page 100 / 2698 » Operating System |
111
click to vote
AIIA
2005
Springer
15 years 8 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...
117
click to vote
MOC
2010
14 years 9 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...
GRID
2005
Springer
15 years 8 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...
145
click to vote
ISSRE
2005
IEEE
15 years 8 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...
INFOCOM
2007
IEEE
15 years 8 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...