1922 search results - page 276 / 385 » Systems biology, models, and concurrency |
191
click to vote
OWLED
2008
15 years 7 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...
169
click to vote
SIAMCOMP
2010
15 years 4 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...
212
click to vote
SIGMOD
2012
ACM
13 years 8 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...
188
click to vote
TPHOL
2007
IEEE
16 years 20 days 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 ...
167
click to vote
FSTTCS
2009
Springer
16 years 29 days 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...