7080 search results - page 247 / 1416 » Designing High Integrity Systems Using Aspects |
116
Voted
CHI
2007
ACM
16 years 3 months ago
2007
ACM
PageLinker is a browser extension that contextualises navigation by linking web pages together and allows navigation through a network of related web pages without prior planning....
130
Voted
CHI
2006
ACM
16 years 3 months ago
2006
ACM
Our current understanding of human interaction with hybrid or augmented environments is very limited. Here we focus on `tangible interaction', denoting systems that rely on e...
156
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
115
click to vote
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
Product line development places emphasis on quality attributes like understandability, maintainability, reusability and variability. Better modularization techniques like ...
155
click to vote
TCAD
2010
14 years 10 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...