109 search results - page 10 / 22 » Model-checking Driven Design of Interactive Systems |
102
click to vote
IADIS
2004
14 years 11 months ago
2004
This paper presents the design principles, development and implementation of an e-learning framework, called Intelligent Cognitive Agents (InCA). The InCA framework is an ontology...
DEXAW
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—We discuss issues related to the design of a multitouch gesture sensing environment, allowing the user to execute both independent and coordinated gestures. We discuss d...
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
104
click to vote
ATVA
2007
Springer
15 years 3 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
68
Voted
ITC
2003
IEEE
15 years 2 months ago
2003
IEEE
The long term impact of MEMS technology will be in its ability to integrate novel sensing and actuation functionality on traditional computing and communication devices enabling t...