3868 search results - page 227 / 774 » Open Systems in TLA |
203
click to vote
ICFEM
1998
Springer
15 years 10 months ago
1998
Springer
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
188
click to vote
AIIA
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an ...
185
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
135
click to vote
ENTCS
2006
15 years 7 months ago
2006
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of ...
227
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
Upcoming ubiquitous computing systems are required to operate in dynamic, diverse, unverified, and unpredictable operating environment. The OSGi (Open Service Gateway initiative) ...