2407 search results - page 355 / 482 » A Tool for Abstraction in Model Checking |
153
click to vote
ICSOC
2009
Springer
16 years 22 days 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 ...
154
click to vote
FSEN
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
176
click to vote
LCPC
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...
179
click to vote
ACSD
2006
IEEE
16 years 8 days ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
145
click to vote
AAECC
2006
Springer
16 years 5 days ago
2006
Springer
Abstract. This paper compares two approaches to reliable communication over fading channels using low-density parity check (LDPC) codes. The particular model considered is the bloc...