3742 search results - page 607 / 749 » On the Use of Formal Techniques for Validation |
288
click to vote
ICDE
1998
IEEE
16 years 7 months ago
1998
IEEE
The association of timestamps with various data items such as tuples or attribute values is fundamental to the management of time-varying information. Using intervals in timestamp...
157
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Because most animation tools are complex and timeconsuming to learn and use, most animations today are created by experts. To help novices create a wide range of animations quickl...
268
click to vote
VLDB
2003
ACM
16 years 6 months ago
2003
ACM
Service composition is gaining momentum as the potential silver bullet for the envisioned Semantic Web. It purports to take the Web to unexplored efficiencies and provide a flexibl...
157
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
We present a tool for helping XML schema designers to obtain a high quality level for their specifications. The tool allows one to analyze relations between classes of XML docume...
152
click to vote
ISSTA
2009
ACM
16 years 28 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...