5064 search results - page 290 / 1013 » Recent Developments in Gridsolve |
145
click to vote
SIGMOBILE
2008
15 years 6 months ago
2008
Realistic simulation is a necessary tool for proper evaluation of newly developed protocols for Vehicular Ad Hoc Networks (VANETs). Several recent efforts focused on achieving thi...
183
click to vote
TR
2008
15 years 6 months ago
2008
A number of security vulnerabilities have been reported in the Windows, and Linux operating systems. Both the developers, and users of operating systems have to utilize significant...
149
click to vote
APAL
2004
15 years 6 months ago
2004
First-order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently several se...
182
click to vote
PUC
2007
15 years 6 months ago
2007
Based on many experiences of developing interactive systems by the authors, a framework for the description and analysis of interaction has been developed. The dimensions of this m...
148
click to vote
IGPL
2010
15 years 5 months ago
2010
: The main focus of this paper is to develop an adaptive formal apparatus capable of capturing (certain types of) reasoning conducted within the framework of the so-called dynamic ...