1922 search results - page 276 / 385 » Systems biology, models, and concurrency |
132
click to vote
OWLED
2008
15 years 2 months ago
2008
In this paper we present the basic requirements and initial design of a system which manages and facilitates changes to an OWL ontology in a multi-editor environment. This system u...
113
click to vote
SIAMCOMP
2010
14 years 11 months ago
2010
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
151
click to vote
SIGMOD
2012
ACM
13 years 3 months ago
2012
ACM
The advent of affordable, shared-nothing computing systems portends a new class of parallel database management systems (DBMS) for on-line transaction processing (OLTP) applicatio...
122
click to vote
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
108
click to vote
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...