Sciweavers

1922 search results - page 58 / 385
» Systems biology, models, and concurrency
Sort
View
OTM
2005
Springer
15 years 7 months ago
Using ORM to Model Web Systems
In this paper, we describe how ORM is extended, and combined with Concurrent Task Trees (CTT) to model the content as well as the functionality of a web system in the web design me...
Olga De Troyer, Sven Casteleyn, Peter Plessers
LICS
2006
IEEE
15 years 7 months ago
Temporal Logics and Model Checking for Fairly Correct Systems
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
Daniele Varacca, Hagen Völzer
SCALESPACE
2007
Springer
15 years 8 months ago
Modeling Foveal Vision
A geometric model is proposed for an artificial foveal vision system, and its plausibility in the context of biological vision is explored. The model is based on an isotropic, sca...
Luc Florack
78
Voted
CERA
2006
55views more  CERA 2006»
15 years 1 months ago
Modeling the Product Development Process as a Dynamic System with Feedback
er.sagepub.com/cgi/content/abstract/14/4/283 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:Concurrent Engineerin...
Hong-Zhong Huang, Ying-Kui Gu
ERLANG
2006
ACM
15 years 7 months ago
Concurrency oriented programming in termite scheme
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
Guillaume Germain