2493 search results - page 300 / 499 » Tool Support for Design by Contract |
167
click to vote
ICDE
2002
IEEE
15 years 12 months ago
2002
IEEE
XML documents are extremely verbose since the "schema" is repeated for every "record" in the document. While a variety of compressors are available to address ...
WWW
2004
ACM
15 years 11 months ago
2004
ACM
An active e-course is a self-representable and self-organizable document mechanism with a flexible structure. The kernel of the active e-course is to organize learning materials i...
ICIW
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
ICSEA
2006
IEEE
15 years 4 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
UIST
2006
ACM
15 years 4 months ago
2006
ACM
The continuous growth of media databases necessitates development of novel visualization and interaction techniques to support management of these collections. We present Videotat...