Sciweavers

1922 search results - page 240 / 385
» Systems biology, models, and concurrency
Sort
View
PTS
2007
99views Hardware» more  PTS 2007»
15 years 2 months ago
Testing Input/Output Partial Order Automata
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
Stefan Haar, Claude Jard, Guy-Vincent Jourdan
DBSEC
1996
125views Database» more  DBSEC 1996»
15 years 2 months ago
A Framework for High Assurance Security of Distributed Objects
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
John Hale, Jody Threet, Sujeet Shenoi
GI
1998
Springer
15 years 5 months ago
Workshop: Multimedia-Systeme
The IMB Jena Image Library of Biological Macromolecules (http://www.imb-jena.de/IMAGE.html) is a freely accessible Internet archive with three-dimensional (3D) structural informat...
Hans-Jürgen Appelrath, Klaus Meyer-Wegener
SASO
2008
IEEE
15 years 7 months ago
A New Paradigm for SpeckNets: Inspiration from Fungal Colonies
In this position paper, we propose the development of a new biologically inspired paradigm based on fungal colonies, for the application to pervasive adaptive systems. Fungal colo...
Ruth Falconer, James Bown, Emma Hart, Jon Timmis
BMCBI
2007
108views more  BMCBI 2007»
15 years 1 months ago
Design and implementation of a generalized laboratory data model
Background: Investigators in the biological sciences continue to exploit laboratory automation methods and have dramatically increased the rates at which they can generate data. I...
Michael C. Wendl, Scott Smith, Craig S. Pohl, Davi...