Sciweavers

3719 search results - page 454 / 744
» RACER System Description
Sort
View
SEFM
2006
IEEE
16 years 24 days ago
Modeling Heterogeneous Real-time Components in BIP
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
Ananda Basu, Marius Bozga, Joseph Sifakis
ADMA
2006
Springer
101views Data Mining» more  ADMA 2006»
16 years 23 days ago
ZED: Explaining Temporal Variations in Query Volume
We hypothesize that the variance in volume of high-velocity queries over time can be explained by observing that these queries are formulated in response to events in the world tha...
Maojin Jiang, Shlomo Argamon, Abdur Chowdhury, Kus...
ELPUB
2006
ACM
16 years 22 days ago
Using SVG for an User-Interface to a Digital Library
Interfaces for users on the web are usually created using standard HTML-technologies. Although dynamic textbased features are widely available on the web (e.g. by using DHTML) the...
Harald Krottmaier, Christian Scherngell
DEXAW
2005
IEEE
144views Database» more  DEXAW 2005»
16 years 12 days ago
A Partial Ontology for Forest Inventory and Mensuration
Keywords, restricted vocabularies (RVs), thesauri, and catalogues are introduced leading up to discussion of the need for full ontologies to describe the full logical and relation...
Keith Rennolls
EDOC
2005
IEEE
16 years 12 days ago
An Interactive Approach for Specifying OWL-S Groundings
12 OWL-S is an instance of the Web Ontology Language (OWL) that is used to describe and specify semantic web services. While OWL-S provides a promising mechanism for specification...
Gerald C. Gannod, Raynette J. Brodie, John T. E. T...