2493 search results - page 498 / 499 » Tool Support for Design by Contract |
CANDC
2009
ACM
13 years 3 months ago
2009
ACM
There has been much recent interest in the development of tools to foster remote collaboration and shared creative work. An open question is: what are the guidelines for this proc...
CHI
2011
ACM
12 years 9 months ago
2011
ACM
According to cognitive science literature, human memory is predicated on contextual cues (e.g., room, music) in the environment. During recall tasks, we associate information/acti...
JCDL
2011
ACM
12 years 8 months ago
2011
ACM
A pattern is a model or a template used to summarize and describe the behavior (or the trend) of a data having generally some recurrent events. Patterns have received a considerab...
SIGMOD
2011
ACM
12 years 8 months ago
2011
ACM
Life sciences researchers perform scientific literature search as part of their daily activities. Many such searches are executed against PubMed, a central repository of life sci...
CBSE
2011
Springer
12 years 5 months ago
2011
Springer
Software components are increasingly assembled from other components. Each component may further depend on others, and each may have multiple active versions. The total number of ...