Sciweavers

3481 search results - page 430 / 697
» Architecture as Object Models of Software
Sort
View
165
Voted
LCTRTS
2010
Springer
15 years 2 months ago
Integrating safety analysis into the model-based development toolchain of automotive embedded systems
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
Matthias Biehl, De-Jiu Chen, Martin Törngren
IJPRAI
2006
78views more  IJPRAI 2006»
15 years 4 months ago
The Unexpected Aspects of Surprise
Some symbolic AI models for example BDI (belief, desire, intention) models are conceived as explicit and operational models of the intentional pursuit and belief dynamics. The mai...
Emiliano Lorini, Cristiano Castelfranchi
191
Voted
WSC
2000
15 years 5 months ago
Use of discrete event simulation to validate an agent based scheduling engine
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...
Shubhabrata Biswas, Sara Merchawi
SCP
2010
154views more  SCP 2010»
15 years 3 months ago
An algebraic foundation for automatic feature-based program synthesis
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
Sven Apel, Christian Lengauer, Bernhard Mölle...
167
Voted
SAC
2009
ACM
15 years 11 months ago
A personalized framework for trust assessment
The number of computational trust models has been increasing rapidly in recent years, yet their applications for automating trust evaluation are still limited. The main obstacle i...
Trung Dong Huynh