4418 search results - page 256 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
288
click to vote
JUCS
2002
15 years 6 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
174
click to vote
EDOC
2003
IEEE
15 years 12 months ago
2003
IEEE
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...
265
click to vote
COBUILD
1999
Springer
15 years 11 months ago
1999
Springer
This paper discusses our implementation and experience with a camera-based whiteboard scanner. The ZombieBoard system (so called because it brings to electronic life the marks on a...
200
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
This paper describes a novel classification method for computer aided detection (CAD) that identifies structures of interest from medical images. CAD problems are challenging larg...
196
click to vote
SACMAT
2003
ACM
15 years 12 months ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...