2838 search results - page 314 / 568 » Verifying Controlled Components |
107
click to vote
COORDINATION
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
118
click to vote
MIDDLEWARE
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents an architectural framework for customizing Object Request Broker (ORB) implementations to application-specific preferences for various non-functional requiremen...
92
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
In many AI settings an agent is comprised of both actionplanning and action-execution components. We examine the relationship between the precision of the execution component, the...
CORR
2010
Springer
15 years 28 days ago
2010
Springer
RFID is not a new technology and has passed through many decades of use in military, airline, library, security, healthcare, sports, animal farms and other areas. Industries use R...
117
click to vote
SEKE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract--Component-based development focuses on compose and composition: abstract components (as wished) must be searched for and matched to existing component (as found). This se...