1796 search results - page 103 / 360 » An Approach to Compositional Model Checking |
99
Voted
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
109
Voted
STACS
2010
Springer
15 years 7 months ago
2010
Springer
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CT...
106
click to vote
ICEBE
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
128
Voted
ICWS
2009
IEEE
14 years 10 months ago
2009
IEEE
MapReduce has recently gained a lot of attention as a parallel programming model for scalable data-intensive business and scientific analysis. In order to benefit from this powerf...
108
click to vote
OSDI
2002
ACM
16 years 25 days ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...