Sciweavers

2050 search results - page 254 / 410
» A formal foundation for process modeling
Sort
View
POPL
1990
ACM
15 years 10 months ago
Concurrent Constraint Programming
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
Vijay A. Saraswat, Martin C. Rinard
IQ
2000
15 years 8 months ago
IP-MAP: Representing the Manufacture of an Information Product
Organizations have recognized the need for high quality information and academics have proposed several methods to measure and improve information quality. One such method is to m...
Ganesan Shankaranarayanan, Richard Y. Wang, Mostap...
DILS
2005
Springer
16 years 7 days ago
Factors Affecting Ontology Development in Ecology
Few ontologies in the ecological domain exist, but their development can take advantage of gained experience in other domains and from existing modeling practices in ecology. Taxon...
C. Maria Keet
CP
2001
Springer
15 years 11 months ago
A Temporal Concurrent Constraint Programming Calculus
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
Catuscia Palamidessi, Frank D. Valencia
APN
2006
Springer
15 years 10 months ago
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...
Serge Haddad, Lynda Mokdad, Patrice Moreaux