3868 search results - page 422 / 774 » Open Systems in TLA |
167
click to vote
ENTCS
2006
15 years 6 months ago
2006
Weak bisimilarity is one of the most studied behavioural equivalences. This equivalence is undecidable for pushdown processes (PDA), process algebras (PA), and multiset automata (...
174
click to vote
ISI
2006
Springer
15 years 6 months ago
2006
Springer
Information dissemination is of vital importance in today's information-centric world. However, controlling the flow of information across multiple security domains is a probl...
190
click to vote
ADT
2005
15 years 6 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
186
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Dynamic Aspect Oriented Programming (AOP) technologies typically provide coarse-grained mechanisms for adapting aspects that cross-cut a system deployment; i.e. whole aspect module...
158
click to vote
BMCBI
2005
15 years 6 months ago
2005
We present a maximum-entropy based system incorporating a diverse set of features for identifying genes and proteins in biomedical s. This system was entered in the BioCreative co...