988 search results - page 10 / 198 » Report on the XBase Project |
189
click to vote
ICFP
2009
ACM
16 years 10 days ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
ACMACE
2009
ACM
15 years 6 months ago
2009
ACM
Pervasive and location-based games are played in the real world rather than on the screen of a computer or mobile device. This makes them difficult to study. Since players move ar...
120
click to vote
DIAL
2006
IEEE
15 years 5 months ago
2006
IEEE
This report summarizes the discussions of the Working Group on Acquisition Quality at the International Workshop on Document Image Analysis for Libraries, Palo Alto, CA, 23-24 Jan...
ICRE
1998
IEEE
15 years 4 months ago
1998
IEEE
: Scenario-based approaches are becoming ubiquitous in systems analysis and design but their definition and scope remain vague. Complementing the recently proposed CREWS classifica...
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
Understanding an application's functional and nonfunctional requirements is normally seen as essential for developing a robust product suited to client needs. This paper desc...