2493 search results - page 300 / 499 » Tool Support for Design by Contract |
276
click to vote
ICDE
2002
IEEE
16 years 8 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 ...
161
click to vote
WWW
2004
ACM
16 years 7 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...
176
click to vote
ICIW
2007
IEEE
16 years 27 days 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...
167
Voted
ICSEA
2006
IEEE
16 years 19 days 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...
158
click to vote
UIST
2006
ACM
16 years 16 days 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...