18898 search results - page 3362 / 3780 » The Making of a Software Engineer |
177
click to vote
FOSSACS
2005
Springer
16 years 12 days ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
160
click to vote
FOSSACS
2005
Springer
16 years 12 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
180
click to vote
FOSSACS
2005
Springer
16 years 12 days ago
2005
Springer
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an error has occurred or not. In the context of discrete event systems this problem has...
176
click to vote
FOSSACS
2005
Springer
16 years 12 days ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
188
click to vote
FSTTCS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We consider a generalization of the set cover problem, in which elements are covered by pairs of objects, and we are required to find a minimum cost subset of objects th...