Sciweavers

1054 search results - page 110 / 211
» Models for automatic generation of safety-critical real-time...
Sort
View
ICSE
2009
IEEE-ACM
16 years 1 months ago
Taming Dynamically Adaptive Systems using models and aspects
Since software systems need to be continuously available under varying conditions, their ability to evolve at runtime is increasingly seen as one key issue. Modern programming fra...
Brice Morin, Olivier Barais, Grégory Nain, ...
COMPSAC
1997
IEEE
15 years 10 months ago
Model-integrated system development: models, architecture, and process
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment changes. Typically, software development methodologi...
Gabor Karsai, Amit Misra, Janos Sztipanovits, &Aac...
ATAL
2004
Springer
15 years 11 months ago
Fitting and Compilation of Multiagent Models through Piecewise Linear Functions
Decision-theoretic models have become increasingly popular as a basis for solving agent and multiagent problems, due to their ability to quantify the complex uncertainty and prefe...
David V. Pynadath, Stacy Marsella
HT
2009
ACM
16 years 25 days ago
Using a thematic model to enrich photo montages
Narrative systems attempt to present users with media collections that include some element of structure or story, however these collections can lack an authorial voice and seem b...
Charlie Hargood, David E. Millard, Mark J. Weal
ICCV
1995
IEEE
15 years 10 months ago
FORMS: A Flexible Object Recognition and Modelling System
Abstract. We describe a flexible object recognition and modelling system (FORMS) which represents and recognizes animate objects from their silhouettes. This consists of a model fo...
Song Chun Zhu, Alan L. Yuille