Sciweavers

534 search results - page 59 / 107
» Agent-environment interaction in a multi-agent system: a for...
Sort
View
ICECCS
1998
IEEE
161views Hardware» more  ICECCS 1998»
15 years 3 months ago
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
Christophe Aussaguès, Vincent David
CAISE
2007
Springer
15 years 5 months ago
Analyzing the Dynamic Cost Factors of Process-Aware Information Systems: A Model-Based Approach
Introducing process-aware information systems (PAIS) in enterprises is usually associated with high costs. It is therefore crucial to understand those factors that determine these ...
Bela Mutschler, Manfred Reichert, Stefanie Rinderl...
ECAL
2003
Springer
15 years 4 months ago
Representation of Genotype and Phenotype in a Coherent Framework Based on Extended L-Systems
A formal language approach for the specification of ALife models is presented. “Relational Growth Grammars” incorporate rulebased, procedural and object-oriented concepts. By ...
Ole Kniemeyer, Gerhard H. Buck-Sorlin, Winfried Ku...
110
Voted
RTAS
2008
IEEE
15 years 5 months ago
Schedulability Analysis of MSC-based System Models
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty
AMAI
2007
Springer
14 years 11 months ago
Reasoning about non-immediate triggers in biological networks
Modeling molecular interactions in biological networks is important from various perspectives such as predicting side effects of drugs, explaining unusual cellular behavior and dr...
Nam Tran, Chitta Baral