2493 search results - page 372 / 499 » Tool Support for Design by Contract |
ANSS
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper describes JSIM: the simulation module of the Java Modelling Tools (JMT), an open-source fully-portable Java suite for capacity planning studies. The simulator has been ...
ICTAI
2007
IEEE
15 years 4 months ago
2007
IEEE
The goal of Semantic Web research is to transform the Web from a linked document repository into a distributed knowledge base and application platform, thus allowing the vast rang...
IEEESCC
2007
IEEE
15 years 4 months ago
2007
IEEE
Services business generates significant amount of human and machine created data. Search and discovery of relevant information from this data is a critical factor in enhancing wor...
FCCM
2007
IEEE
15 years 4 months ago
2007
IEEE
— Since 1998, no commercially available FPGA has been accompanied by public documentation of its native machine code (or bitstream) format. Consequently, research in reconfigura...
ERCIMDL
2007
Springer
15 years 4 months ago
2007
Springer
This paper describes the VIRGIL (Virtual Meeting Archival) system which was developed to provide a simple, practical, easy-to-use method for recording, indexing and archiving large...