3514 search results - page 518 / 703 » Evolving Specification Engineering |
162
click to vote
PERCOM
2006
ACM
15 years 5 months ago
2006
ACM
Pervasive computing's historical driver applications include environmental monitoring, safety and security, home and office productivity and guided experience of cultural act...
172
click to vote
IJAIT
2007
15 years 5 months ago
2007
Rare events analysis is an area that includes methods for the detection and prediction of events, e.g. a network intrusion or an engine failure, that occur infrequently and have s...
161
click to vote
TAP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
159
click to vote
UAIS
2008
15 years 5 months ago
2008
: This paper describes the progress of a research project aimed at improving the usability of web search tools for blind users who interact via screen readers and voice synthesizer...
152
click to vote
INFSOF
2000
15 years 5 months ago
2000
The paper shows a SHEL oriented requirements engineering approach, which has been applied in a case study dealing with the definition of the requirements for a new railways traffi...