8627 search results - page 1492 / 1726 » Software Engineering Using RATionale |
163
click to vote
UIST
2006
ACM
16 years 17 days ago
2006
ACM
NP-hard combinatorial optimization problems are common in real life. Due to their intractability, local search algorithms are often used to solve such problems. Since these algori...
150
click to vote
UIST
2005
ACM
16 years 5 days ago
2005
ACM
Knowledge workers use paper extensively for document reviewing and note-taking due to its versatility and simplicity of use. As users annotate printed documents and gather notes, ...
186
click to vote
CC
2005
Springer
16 years 4 days ago
2005
Springer
CodeSurfer/x86 is a prototype system for analyzing x86 executables. It uses a static-analysis algorithm called value-set analysis (VSA) to recover intermediate representations that...
165
click to vote
EMSOFT
2004
Springer
16 years 5 hour ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
163
click to vote
ACMDIS
2000
ACM
15 years 11 months ago
2000
ACM
This paper focuses on ways and means of stimulating idea generation in collaborative situations involving designers, engineers, software developers, users and usability people. Pa...