1270 search results - page 111 / 254 » IF Validation Environment Tutorial |
VL
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper shows how integrated UML models combining class, object, use-case, collaboration and state diagrams can be animated in a domain-specific layout. The presented approach...
ADAEUROPE
2005
Springer
14 years 4 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
ISMDA
2005
Springer
14 years 3 months ago
2005
Springer
New biomedical technologies need to be integrated for research on complex diseases. It is necessary to combine and analyze information coming from different sources: genetic-molecu...
ICDCS
2002
IEEE
14 years 3 months ago
2002
IEEE
Recent technology advances have enabled mediated query processing with Internet accessible WebSources. A characteristic of WebSources is that their access costs exhibit transient ...
SIGMOD
2000
ACM
14 years 2 months ago
2000
ACM
Testing an SQL database system by running large sets of deterministic or stochastic SQL statements is common practice in commercial database development. However, code defects oft...