Sciweavers

5064 search results - page 52 / 1013
» Recent Developments in Gridsolve
Sort
View
ISORC
2009
IEEE
14 years 2 months ago
Property Preservation and Composition with Guarantees: From ASSERT to CHESS
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
Tullio Vardanega
SBP
2010
Springer
14 years 2 months ago
Workings of Collective Intelligence within Open Source Communities
Open source communities have been of great interest for researchers recently, yet little can be agreed upon when it comes to developers motives. While it has been shown that partic...
Everett Stiles, Xiaohui Cui
OTM
2009
Springer
14 years 2 months ago
A Framework for Decentralized, Context-Aware Mobile Applications Using Semantic Web Technology
The recent evolution in mobile devices, combined with rapid advancements in identification techniques, has lead to new opportunities for mobile application developers: mobile appli...
William Van Woensel, Sven Casteleyn, Olga De Troye...
AAAI
1990
13 years 9 months ago
Conditional Logics of Normality as Modal Systems
Recently, conditional logics have been developed for application to problems in default reasoning. We present a uniform framework for the development and investigation of conditio...
Craig Boutilier
ROBOCUP
2005
Springer
155views Robotics» more  ROBOCUP 2005»
14 years 1 months ago
An Application Interface for UCHILSIM and the Arrival of New Challenges
UCHILSIM is a robot simulator recently introduced in the RoboCup Four Legged League. A main attractive of the simulator is the possibility of reproducing with accuracy the dynamica...
Juan Cristóbal Zagal, Iván Sarmiento...