1922 search results - page 166 / 385 » Systems biology, models, and concurrency |
126
click to vote
WISE
2000
Springer
15 years 5 months ago
2000
Springer
In this paper, we present a web-based architecture of a spatiotemporal video data management system, which can accommodate a wide range of activities by various types of users. Be...
COMPSAC
2004
IEEE
15 years 5 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
114
click to vote
ENTCS
2010
15 years 1 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
130
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: The emerging field of integrative bioinformatics provides the tools to organize and systematically analyze vast amounts of highly diverse biological data and thus allo...
LICS
1996
IEEE
15 years 5 months ago
1996
IEEE
We introduce the notion of higher dimensional transition systems as a model of concurrency providing an elementary, set-theoretic formalisation of the idea of higher dimensional t...