1782 search results - page 215 / 357 » Tool Support for Proof Engineering |
175
Voted
IUI
2005
ACM
16 years 16 days ago
2005
ACM
SemanticTalk is a tool for supporting face-to-face meetings and discussions by automatically generating a semantic context from spoken conversations. We use speech recognition and...
137
click to vote
UIST
2005
ACM
16 years 16 days ago
2005
ACM
Supporting groups of individuals exploring large maps and design diagrams on interactive tabletops is still an open research problem. Today’s geospatial, mechanical engineering ...
158
click to vote
UML
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
187
click to vote
CHI
2004
ACM
16 years 12 days ago
2004
ACM
MetaCrystal visualizes the degree of overlap between the top results returned by different search engines. Linked overview tools support rapid exploration, facilitate advanced fil...
202
Voted
ASWSD
2004
Springer
16 years 11 days ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...