Sciweavers

878 search results - page 104 / 176
» Teaching software engineering through game design
Sort
View
131
Voted
DAC
2005
ACM
16 years 4 months ago
Simulation based deadlock analysis for system level designs
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
Xi Chen, Abhijit Davare, Harry Hsieh, Alberto L. S...
120
Voted
GROUP
2005
ACM
15 years 9 months ago
Design decisions in the RideNow project
The RideNow Project is designed to help individuals within a group or organization coordinate ad hoc shared rides. This paper describes three design decisions the RideNow team mad...
Rick Wash, Libby Hemphill, Paul Resnick
122
Voted
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 7 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
131
Voted
ISORC
2007
IEEE
15 years 10 months ago
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems
Developing fault tolerant ambient systems requires many challenging factors to be considered due to the nature of such systems, which tend to contain a lot of mobile elements that...
Alexei Iliasov, Alexander Romanovsky, Budi Arief, ...
148
Voted
AVI
2004
15 years 5 months ago
Observing and adapting user behavior in navigational 3D interfaces
In a navigation-oriented interaction paradigm, such as desktop, mixed and augmented virtual reality, recognizing the user needs is a valuable improvement, provided that the system...
Augusto Celentano, Fabio Pittarello