886 search results - page 125 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
115
click to vote
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
—Knowledge of a network’s topology and internal characteristics such as delay times or losses is crucial to maintain seamless operation of network services. Network tomography ...
119
click to vote
ICDE
2007
IEEE
15 years 7 months ago
2007
IEEE
The wide availability of large scale databases requires more efficient and scalable tools for data understanding and knowledge discovery. In this paper, we present a method to ...
128
click to vote
CHI
2005
ACM
16 years 1 months ago
2005
ACM
Capturing and analyzing the detailed eye movements of a user while reading a web page can reveal much about the ways in which web reading occurs. The WebGazeAnalyzer system descri...
109
click to vote
IWSSD
1993
IEEE
15 years 5 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...