327 search results - page 36 / 66 » Service-Oriented Modelling of Automotive Systems |
ISTA
2008
15 years 1 months ago
2008
Abstract. Service-oriented Computing and Service-oriented Architectures aspire to better exploit existing middleware technologies. To this end, a more flexible, platform independen...
129
click to vote
LICS
2012
IEEE
13 years 2 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
112
click to vote
RSP
2003
IEEE
15 years 5 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
SIGSAND
2008
15 years 1 months ago
2008
Configurable business software solutions are increasingly being implemented based on service oriented architectures (SOA). Hereunto model driven approaches for the definition and i...
107
click to vote
SKG
2005
IEEE
15 years 5 months ago
2005
IEEE
The conventional computing Grid has developed a service oriented computing architecture with a superlocal resource management and scheduling strategy. This architecture is limited...