1040 search results - page 75 / 208 » Controlling Aspect Reentrancy |
115
Voted
FROCOS
2007
Springer
15 years 5 months ago
2007
Springer
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
SSS
2007
Springer
15 years 5 months ago
2007
Springer
Research on fine tuning stabilization properties has received attention for nearly a decade. This paper presents a probabilistic algorithm for fault-containment, that confines th...
106
click to vote
HASE
2005
IEEE
15 years 4 months ago
2005
IEEE
Aspect-oriented modeling is proposed to design the architecture of fault tolerant systems. Notations are introduced that support the separate and modularized design of functional ...
ICECCS
2005
IEEE
15 years 4 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
CSCWD
2005
Springer
15 years 4 months ago
2005
Springer
This paper presents CSVTool (Collaboration Supported by Video Tool), a video-based collaboration tool designed to be simple, platform-independent, and to support multiple users ov...