554 search results - page 58 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
191
click to vote
EMSOFT
2009
Springer
16 years 21 days ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
173
click to vote
OTM
2007
Springer
16 years 8 days ago
2007
Springer
Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources. Scientific workflows are used as means for modeli...
169
click to vote
RTCSA
2005
IEEE
15 years 11 months ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
140
click to vote
SAFECOMP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
213
click to vote
JOT
2008
15 years 6 months ago
2008
The purpose of this article is to provide a brief insight about how to link your business vision, goals, strategies, tactics as well as business rules according to BMM, then bridg...