596 search results - page 73 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
206
click to vote
HCI
2009
15 years 3 months ago
2009
In smart environments interactive assistants can support the user's daily life by being ubiquitously available through any interaction device that is connected to the network....
144
click to vote
ICSM
2008
IEEE
16 years 14 days ago
2008
IEEE
Code clones are similar program structures recurring in software systems. Clone detectors produce much information and a challenge is to identify useful clones depending on the go...
156
click to vote
SIGPLAN
2008
15 years 6 months ago
2008
Many organizations specify information release policies to describe the terms under which sensitive information may be released to other organizations. This paper presents a new a...
151
click to vote
CADUI
2004
15 years 7 months ago
2004
: This paper presents a framework for the automatic production of Digital Talking Books (DTB). The production process converts existing audio tapes and OCR-based digitalization of ...
169
click to vote
ASE
2005
15 years 6 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...