12774 search results - page 317 / 2555 » A Framework for Proof Systems |
161
click to vote
FAC
1998
15 years 6 months ago
1998
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...
217
click to vote
CC
2008
Springer
15 years 6 months ago
2008
Springer
In their seminal paper, Valiant, Skyum, Berkowitz and Rackoff proved that arithmetic circuits can be balanced [VSBR]. That is, [VSBR] showed that for every arithmetic circuit of ...
162
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
143
Voted
PROFES
2005
Springer
16 years 7 days ago
2005
Springer
This paper describes an evaluation of a characterisation framework to analyse mobile work scenarios in order to make corresponding software systems. The framework identifies comple...
173
click to vote
IEEESCC
2007
IEEE
16 years 1 months ago
2007
IEEE
Service discovery has been recognised as an important aspect of service oriented computing. This is even more the case when developing service centric systems in which software sy...