2493 search results - page 311 / 499 » Tool Support for Design by Contract |
100
click to vote
AAAI
1998
14 years 12 months ago
1998
The technology for building large knowledge bases (KBs) is yet to witness a breakthrough so that a KB can be constructed by the assembly of prefabricated knowledge components. Kno...
112
click to vote
BMCBI
2008
14 years 10 months ago
2008
Background: High-throughput genotyping technology has enabled cost effective typing of thousands of individuals in hundred of thousands of markers for use in genome wide studies. ...
103
click to vote
ICPP
2002
IEEE
15 years 3 months ago
2002
IEEE
The advantages of pattern-based programming have been well-documented in the sequential literature. However patterns have yet to make their way into mainstream parallel computing,...
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
CSCW
2010
ACM
15 years 7 months ago
2010
ACM
An important aspect of collaborative information seeking (CIS) is making sense of the information found, i.e., collaborative sensemaking. We conducted an ethnographic study of the...