7124 search results - page 1278 / 1425 » Programming Languages and Operating Systems |
107
click to vote
SRDS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper proposes a solution based on forward error recovery, oriented towards providing dependability of composite Web services. While exploiting their possible support for fau...
105
click to vote
ASYNC
2007
IEEE
15 years 6 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
111
Voted
DASFAA
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper, a State-Based Dynamic Transportation Network (SBDTN) model is presented, which can be used to describe the spatiotemporal aspect of temporally variable transportatio...
134
Voted
CASES
2000
ACM
15 years 6 months ago
2000
ACM
This paper introduces the notion of a Flexible Instruction Processor (FIP) for systematic customisation of instruction processor design and implementation. The features of our app...
106
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...