2523 search results - page 226 / 505 » Objective: In Minimum Context |
157
click to vote
SIGSOFT
2008
ACM
15 years 5 months ago
2008
ACM
This paper describes the design of the unit testing framework JUnit v3.8. The documentation technique employed is an enhanced version of collaboration-based design, also known as ...
149
click to vote
ENTCS
2002
15 years 5 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
154
click to vote
HCSE
2010
15 years 3 months ago
2010
Personas are useful for obtaining an empirically grounded understanding of a secure system's user population, its contexts of use, and possible vulnerabilities and threats end...
213
click to vote
VLUDS
2010
15 years 4 days ago
2010
This paper summarizes and compares techniques for detecting and identifying markers in the context of computer vision. Existing approaches use correlation, digital, or topological...
152
click to vote
IEEEARES
2006
IEEE
15 years 11 months ago
2006
IEEE
— Service Oriented Architectures with underlying technologies like web services and web services orchestration have opened the door to a wide range of novel application scenarios...