Search Sciweavers | Sciweavers

29386 search results - page 117 / 5878

» On modeling of self-organizing systems

103

click to vote

LICS
2010
IEEE

193views Automated Reasoning» more LICS 2010»

Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction

14 years 8 months ago

Download fontana.med.harvard.edu

ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...

Vincent Danos, Jérôme Feret, Walter F...

claim paper

Read More »

click to vote

ICEIS
2009
IEEE

95views Information Technology» more ICEIS 2009»

Toward a Quality Model for CBSE - Conceptual Model Proposal

15 years 4 months ago

Download www.lisi.usb.ve

María A. Reyes, Maryoly Ortega, Marí...

claim paper

Read More »

click to vote

HICSS
2003
IEEE

102views Biometrics» more HICSS 2003»

Deferred Systems Software Model for Semantic Information Sharing in Context on the Web

15 years 3 months ago

Download www.hicss.hawaii.edu

This research reports on the deferred system software model to inform semantic and contextual information sharing in Web applications. Contextual information sharing requires soft...

Nandish V. Patel

claim paper

Read More »

click to vote

FTCS
1998

89views more FTCS 1998»

The Timed Asynchronous Distributed System Model

14 years 11 months ago

Download wwwse.inf.tu-dresden.de

Abstract-- We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and...

Flaviu Cristian, Christof Fetzer

claim paper

Read More »

click to vote

ENTCS
2008

127views more ENTCS 2008»

HYPE Applied to the Modelling of Hybrid Biological Systems

14 years 10 months ago