202 search results - page 33 / 41 » From Model Checking to a Temporal Proof |
145
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
156
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
135
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
139
click to vote
JSW
2007
15 years 3 months ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
166
click to vote
RE
2010
Springer
14 years 10 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...