Sciweavers

1058 search results - page 120 / 212
» Fault-Tolerant Resource Reasoning
Sort
View
JIB
2007
95views more  JIB 2007»
15 years 21 days ago
Integration of constraints documented in SBML, SBO, and the SBML Manual facilitates validation of biological models
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...
Allyson L. Lister, Matthew R. Pocock, Anil Wipat
101
Voted
FAC
2010
107views more  FAC 2010»
14 years 11 months ago
Algebra and logic for access control
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
Matthew Collinson, David J. Pym
92
Voted
PVLDB
2010
132views more  PVLDB 2010»
14 years 11 months ago
CoDA: Interactive Cluster Based Concept Discovery
Large data resources are ubiquitous in science and business. For these domains, an intuitive view on the data is essential to fully exploit the hidden knowledge. Often, these data...
Stephan Günnemann, Ines Färber, Hardy Kr...
WWW
2010
ACM
14 years 11 months ago
Building a Usable and Accessible Semantic Web Interaction Platform
Semantic Web applications take off is being slower than expected, at least with respect to “real-world” applications and users. One of the main reasons for this lack of adoptio...
Roberto García, Juan Manuel Gimeno, Ferran ...
GLOBECOM
2010
IEEE
14 years 10 months ago
Analysis of Messaging Load in a P2PP Overlay Network under Churn
We analyze the performance of a DHT-based P2P overlay network in resource access and overlay maintenance activities. We use a cross-platform implementation of the protocol called P...
Otso Kassinen, Erkki Harjula, Mika Ylianttila