5228 search results - page 947 / 1046 » Case Studies for Software Engineers |
165
click to vote
SIES
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
138
click to vote
TMC
2011
14 years 8 months ago
2011
—Vehicular networks (VANETs) can be used to improve transportation security, reliability, and management. This paper investigates security aspects of VANETs within a game-theoret...
107
click to vote
JCIT
2010
14 years 8 months ago
2010
Web Service Choreography Description Language is a main-stream standard for the description of peer-to-peer collaborations for the participants for service composition. To predict...
138
click to vote
CCGRID
2010
IEEE
14 years 5 months ago
2010
IEEE
- Scientific workflows have become an integral part of cyberinfrastructure as their computational complexity and data sizes have grown. However, the complexity of the distributed i...
145
click to vote
AAAI
2012
13 years 3 months ago
2012
A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detection, fault identification, or quality assurance. This paper deals with the algo...