1077 search results - page 102 / 216 » Formal Checking of Properties in Complex Systems Using Abstr... |
RTCSA
1999
IEEE
14 years 1 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
TLCA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
WDAG
2007
Springer
14 years 3 months ago
2007
Springer
The deferred update technique is a widely used approach for building replicated database systems. Its fame stems from the fact that read-only transactions can execute locally to a...
COMPSAC
2009
IEEE
14 years 3 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...