1818 search results - page 312 / 364 » Granularity-Adaptive Proof Presentation |
SEFM
2006
IEEE
14 years 2 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
ACMACE
2006
ACM
14 years 2 months ago
2006
ACM
This paper focuses on the mapping strategies in the interface design for the Expression Synthesis Project (ESP). The goal of ESP is to use the metaphor of driving to allow non-exp...
RTA
2005
Springer
14 years 2 months ago
2005
Springer
We present a new method for proving termination of term rewriting systems automatically. It is a generalization of the match bound method for string rewriting. To prove that a term...
SAFECOMP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
SEMWEB
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Coordination is the process of managing the possible interactions between activities and processes; a mechanism to handle such interactions is known as a coordination reg...