Sciweavers

99 search results - page 20 / 20
» Complete Process Semantics of Petri Nets
Sort
View
FMSB
2008
129views Formal Methods» more  FMSB 2008»
13 years 6 months ago
Rule-Based Modelling, Symmetries, Refinements
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
Vincent Danos, Jérôme Feret, Walter F...
PVLDB
2010
86views more  PVLDB 2010»
13 years 3 months ago
Thirteen New Players in the Team: A Ferry-based LINQ to SQL Provider
We demonstrate an efficient LINQ to SQL provider and its significant impact on the runtime performance of LINQ programs that process large data volumes. This alternative provider...
Tom Schreiber, Simone Bonetti, Torsten Grust, Manu...
EDCC
1999
Springer
13 years 9 months ago
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...
Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi
CLEIEJ
2004
95views more  CLEIEJ 2004»
13 years 5 months ago
Ontology and XML-based Specifications for Collaborative B2B Relationships
A collaborative B2B relationship implies jointly executing business processes. This relationship demands a complete access to available information and knowledge to support decisi...
María Laura Caliusco, María Rosa Gal...