Sciweavers

5131 search results - page 537 / 1027
» Heterogeneous Component Analysis
Sort
View
DIGRA
2003
Springer
16 years 5 days ago
Game Design Patterns
We present a model to support the design, analysis, and comparison of games through the use of game design patterns, descriptions of reoccurring interaction relevant to game play....
Staffan Björk, Sus Lundgren, Jussi Holopainen
EMSOFT
2003
Springer
16 years 5 days ago
Constraint-Based Design-Space Exploration and Model Synthesis
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
Sandeep Neema, Janos Sztipanovits, Gabor Karsai, K...
FMCO
2003
Springer
102views Formal Methods» more  FMCO 2003»
16 years 5 days ago
Preserving Properties Under Change
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
Heike Wehrheim
HICSS
2002
IEEE
101views Biometrics» more  HICSS 2002»
15 years 12 months ago
Groupware Case Studies: Electronic Meeting Systems in the Work Place
This paper presents data collected from 5 real-world (federal, state and commercial) groups as they undertook their real-world (Business Process Reengineering (BPR) and Joint Appl...
Gail Corbitt, Ben Martz
ICRA
2002
IEEE
89views Robotics» more  ICRA 2002»
15 years 12 months ago
Dynamically Tuned Design of the MFI Thorax
This paper presents an analysis of the major mechanical component (the thorax) of the micromechanical flying insect (MFI), a centimeter sized aerial vehicle currently in developm...
Srinath Avadhanula, Robert J. Wood, Domenico Campo...