974 search results - page 113 / 195 » Semantic Announcement Sharing |
TOOLS
1999
IEEE
14 years 2 months ago
1999
IEEE
The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definit...
MIS
1999
Springer
14 years 2 months ago
1999
Springer
In a video database, large amount of information involving video, audio, and/or images needs to be stored and managed. Therefore, there is an important need for novel techniques a...
ATVA
2006
Springer
14 years 1 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
ISEMANTICS
2010
13 years 11 months ago
2010
There are millions of sensors being deployed all over the world. Data generated by these sensors is provided in different formats and interfaces and is rarely associated with sema...
MIE
2008
13 years 11 months ago
2008
The concepts and architecture underlying a large-scale integrating project funded within the 7th EU Framework Programme (FP7) are discussed. The main objective of the project is to...