2493 search results - page 292 / 499 » Tool Support for Design by Contract |
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Plagiarism detection is a growing need among educational institutions and solutions for different purposes exist. An important field in this direction is detecting cases of source...
101
click to vote
PC
1998
14 years 10 months ago
1998
Current communications tools and libraries for high performance computing are designed for platforms and applications that exhibit relatively stable computational and communicatio...
ICIDS
2010
Springer
14 years 8 months ago
2010
Springer
Emohawk is a narrative-based serious game designed to be a supportive tool for teaching basics of virtual agents development at universities and high-schools. Emohawk is built util...
EICS
2009
ACM
15 years 5 months ago
2009
ACM
Many tools exist for developing real-time distributed groupware, but most of these tools focus primarily on the performance of the resulting system, or on simplifying the developm...
CSCW
2006
ACM
15 years 4 months ago
2006
ACM
Despite the availability of awareness servers and casual interaction systems, distributed groups still cannot maintain artifact awareness – the easy awareness of the documents, ...