6431 search results - page 1025 / 1287 » Model Building by Resolution |
126
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
This paper introduces a new framework for thinking about tangible interfaces in education, with specific focus on problem domains. Manipulatives are physical objects specifically ...
214
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
Utility computing delivers compute and storage resources to applications as an `on-demand utility', much like electricity, from a distributed collection of computing resource...
208
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
Real-world data -- especially when generated by distributed measurement infrastructures such as sensor networks -- tends to be incomplete, imprecise, and erroneous, making it impo...
155
click to vote
RTSS
2007
IEEE
15 years 10 months ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
139
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...