1782 search results - page 215 / 357 » Tool Support for Proof Engineering |
158
click to vote
IUI
2005
ACM
16 years 10 hour 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...
124
click to vote
UIST
2005
ACM
16 years 6 hour 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 ...
142
click to vote
UML
2005
Springer
15 years 12 months 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...
178
click to vote
CHI
2004
ACM
15 years 12 months 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...
189
click to vote
ASWSD
2004
Springer
15 years 12 months 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...