2199 search results - page 159 / 440 » Orientation Interpolation and Applications |
171
click to vote
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
171
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face three key challenges when attempting to apply existing...
295
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Scientific workflows have gained great momentum in recent years due to their critical roles in e-Science and cyberinfrastructure applications. However, some tasks of a scientific w...
168
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
204
click to vote
EMISA
2006
Springer
15 years 10 months ago
2006
Springer
: This paper explains how we have designed a service-oriented architecture by combining and extending several open source environments. We show how the IT architecture of the Natio...