Sciweavers

753 search results - page 70 / 151
» Fragments-based Model Reduction: Some Case Studies
Sort
View
CBSE
2009
Springer
14 years 3 months ago
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support
To build highly available or reliable applications out of unreliable third-party components, some software-implemented fault-tolerant mechanisms are introduced to gracefully deal w...
Junguo Li, Xiangping Chen, Gang Huang, Hong Mei, F...
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
14 years 3 months ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
HT
2009
ACM
14 years 3 months 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
WISES
2003
13 years 10 months ago
Advanced Movement Model of Crowd Robots
— This paper is about collision avoidance of crowd robots. For this purpose a model of potential field is proposed. This potential field, generated by a neural network, is uniq...
Adela Béres, Károly Béres, Mi...
CORR
2007
Springer
122views Education» more  CORR 2007»
13 years 9 months ago
Modeling Epidemic Spread in Synthetic Populations - Virtual Plagues in Massively Multiplayer Online Games
A virtual plague is a process in which a behavior-affecting property spreads among characters in a Massively Multiplayer Online Game (MMOG). The MMOG individuals constitute a synt...
Magnus Boman, Stefan J. Johansson