4341 search results - page 65 / 869 » Quantitative Model checking |
EPEW
2006
Springer
14 years 18 days ago
2006
Springer
Abstract. Recently, there is an explosive development of fluid approaches to computer and distributed systems. These approaches are inherently stochastic and generate continuous st...
FMOODS
2008
13 years 10 months ago
2008
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...
CIE
2008
Springer
13 years 9 months ago
2008
Springer
We study the complexity of the model checking problem, for fixed models A, over certain fragments L of first-order logic, obtained by restricting which of the quantifiers and boole...
ICSOC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...
BPM
2007
Springer
14 years 3 months ago
2007
Springer
Historically, business process design has been driven by business objectives, specifically process improvement. However this cannot come at the price of control objectives which s...