613 search results - page 93 / 123 » Executable Visual Contracts |
VLDB
2007
ACM
14 years 10 months ago
2007
ACM
Data fusion is the final step of a typical data integration process, after schematic conflicts have been overcome and after duplicates have been correctly identified. We present t...
SIGMOD
2008
ACM
14 years 10 months ago
2008
ACM
We propose to demonstrate SGL, a language and system for writing computer games using data management techniques. We will demonstrate a complete game built using the system, and s...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
This paper proposes automated support for classifying reported software failures in order to facilitate prioritizing them and diagnosing their causes. A classification strategy is...
SAC
2009
ACM
14 years 4 months ago
2009
ACM
Wireless sensors are very small computers, and understanding the timing and behavior of software written for them is crucial to ensuring that they perform correctly. This paper ou...
HAPTICS
2009
IEEE
14 years 4 months ago
2009
IEEE
Collaborative virtual environments (CVE) allow users from different geographical locations to execute a shared task by acting upon the same entities in the virtual world. Most of ...