3381 search results - page 208 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
168
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Given a set of n different deterministic finite state machines (DFSMs) modeling a distributed system, we examine the problem of tolerating f crash or Byzantine faults in such a ...
184
click to vote
WIAS
2010
15 years 4 months ago
2010
An autonomic system is a system capable of managing itself and adjusting its actions in the face of environmental changes. Autonomic systems are currently developed using ad-hoc ap...
155
click to vote
VISUALIZATION
1998
IEEE
15 years 10 months ago
1998
IEEE
Conventional wisdom says that in order to produce high-quality simplified polygonal models, one must retain and use information about the original model during the simplification ...
162
click to vote
ICSOC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...
158
click to vote
TACAS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...