561 search results - page 28 / 113 » A Methodology for Example-Based Specification and Design |
CSCW
2000
ACM
15 years 2 months ago
2000
ACM
In this paper, we describe our experience with the longterm, widespread use of CoWeb, an asynchronous collaborative tool that is mostly used to complement existing faceto-face gro...
167
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
88
Voted
IJAOSE
2010
14 years 7 months ago
2010
: The complexity and scope of software systems continues to grow. One approach to dealing with this growing complexity is the use of intelligent, multi-agent systems. However, due ...
114
click to vote
TVLSI
2010
14 years 4 months ago
2010
Program code in a computer system can be altered either by malicious security attacks or by various faults in microprocessors. At the instruction level, all code modifications are ...
BMCBI
2008
14 years 9 months ago
2008
Background: We present a methodology for high-throughput design of oligonucleotide fingerprints for microarray-based pathogen diagnostic assays. The oligonucleotide fingerprints, ...