Sciweavers

119 search results - page 22 / 24
» State Checksum and Its Role in System Stabilization
Sort
View
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
14 years 1 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
GLOBECOM
2009
IEEE
14 years 2 months ago
Information Dissemination Control for Cooperative Active Safety Applications in Vehicular Ad-Hoc Networks
Abstract—Vehicular Ad-Hoc networks (VANETs) play a critical role in enabling important active safety applications such as collision warning and vehicle tracking. The most pressin...
Ching-Ling Huang, Yaser P. Fallah, Raja Sengupta, ...
SIGCSE
2010
ACM
169views Education» more  SIGCSE 2010»
14 years 2 months ago
Interfaces first (and foremost) with Java
ion is a critical concept that underlies many topics in computing science. For example, in software engineering, the distinction between a component’s behavior and its implement...
Paolo A. G. Sivilotti, Matthew Lang
AAMAS
2008
Springer
13 years 7 months ago
Technology diffusion: analysing the diffusion of agent technologies
Despite several examples of deployed agent systems, there remain barriers to the large-scale adoption of agent technologies. In order to understand these barriers, this paper consi...
Jez McKean, Hayden Shorter, Michael Luck, Peter Mc...
JLP
2007
159views more  JLP 2007»
13 years 7 months ago
Reasoning about interaction protocols for customizing web service selection and composition
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...