923 search results - page 98 / 185 » Proving the value of formal methods |
152
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the anima...
134
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Agent-based on-line negotiation technology has the potential to radically change the way e-business is conducted. In this paper, we present a formal model for autonomous agents to...
181
click to vote
HASE
1999
IEEE
15 years 10 months ago
1999
IEEE
Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assuranc...
156
click to vote
VISUALIZATION
1994
IEEE
15 years 10 months ago
1994
IEEE
To render images from a three-dimensional array of sample values, it is necessary to interpolate between the samples. This paper is concerned with interpolation methods that are e...
160
click to vote
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
-- Temporal data are time-critical in that the snapshot at each timestamp must be made available to researchers in a timely fashion. However, due to the limited data, each snapshot...