Sciweavers

1726 search results - page 148 / 346
» Traits: Tools and Methodology
Sort
View
SC
2005
ACM
15 years 4 months ago
Scalable Parallel Octree Meshing for TeraScale Applications
We present a new methodology for generating and adapting octree meshes for terascale applications. Our approach combines existing methods, such as parallel octree decomposition and...
Tiankai Tu, David R. O'Hallaron, Omar Ghattas
BIRTHDAY
2005
Springer
15 years 4 months ago
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
David Harel, Hillel Kugler, Amir Pnueli
DIGRA
2005
Springer
15 years 4 months ago
Extending Soft Models to Game Design: Flow, Challenges and Conflicts
Challenge and conflict are elements that all game designers strive to engineer into their games. Research shows that challenge is what drives a high proportion of games players ye...
Abdennour El Rhalibi, Martin Hanneghan, Stephen Ta...
FM
2005
Springer
125views Formal Methods» more  FM 2005»
15 years 4 months ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
ECWEB
2004
Springer
97views ECommerce» more  ECWEB 2004»
15 years 4 months ago
Supporting User Query Relaxation in a Recommender System
This paper presents a new technology for supporting flexible query management in recommender systems. It is aimed at guiding a user in refining her query when it fails to return ...
Nader Mirzadeh, Francesco Ricci, Mukesh Bansal