1980 search results - page 177 / 396 » Compositional Model Checking of Real Time Systems |
100
click to vote
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
Little research has examined the relevance of real options for valuation of information technology (IT) investments for prioritizing a portfolio of projects. When the effect of pr...
96
Voted
ENTCS
2007
15 years 1 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
122
Voted
SOCO
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. In the context of Services Oriented Architecture (Soa), complex systems are realized through the design of business–driven processes. Since the design of a complete pro...
93
Voted
MONTEREY
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
118
click to vote
CCGRID
2006
IEEE
15 years 5 months ago
2006
IEEE
Our current research into programming models for parallel web services composition is targeted at providing mechanisms for obtaining higher throughput for large scale compute and ...