Search Sciweavers | Sciweavers

Abstract. A prominent source of complexity in the veriﬁcation of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...

Anu Singh, C. R. Ramakrishnan, Scott A. Smolka

claim paper

Read More »

105

click to vote

SEMWEB
2009
Springer

100views Internet Technology» more SEMWEB 2009»

Modeling and Query Patterns for Process Retrieval in OWL

15 years 11 months ago

Download www.uni-koblenz.de

Gerd Gröner, Steffen Staab

claim paper

Read More »

107

click to vote

VRML
2009
ACM

108views Internet Technology» more VRML 2009»

3D modeling in a web browser to formulate content-based 3D queries

15 years 11 months ago

Download www.generative-modeling.org

René Berndt, Sven Havemann, Dieter W. Felln...

claim paper

Read More »

120

click to vote

SSDBM
2005
IEEE

79views Database» more SSDBM 2005»

Probabilistic Data Modeling and Querying for Location-Based Data Warehouses

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers