2493 search results - page 91 / 499 » Tool Support for Design by Contract |
174
click to vote
FPL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We propose CUSTARD — CUStomisable Threaded ARchitecture — a soft processor design space that combines support for multiple hardware threads and automatically generate...
172
click to vote
COSIT
1999
Springer
15 years 10 months ago
1999
Springer
Traditionally, depictions and descriptions have been seen as complementary; depictions have been preferred to convey iconic or metaphorically iconic information whereas description...
175
click to vote
ICEIS
2009
IEEE
15 years 3 months ago
2009
IEEE
This paper presents a Model-Based graphical editor for supporting the creation of conceptual models and domain ontologies in a philosophically and cognitively well-founded modeling...
171
click to vote
ISMAR
2009
IEEE
16 years 19 days ago
2009
IEEE
This paper presents a study where Augmented Reality (AR) technology has been used as a tool for supporting collaboration between the rescue services, the police and military perso...
169
Voted
CHI
2007
ACM
16 years 6 months ago
2007
ACM
We present the iterative design of Momento, a tool that provides integrated support for situated evaluation of ubiquitous computing applications. We derived requirements for Momen...