Sciweavers

5409 search results - page 392 / 1082
» Basic Observables for Processes
Sort
View
DMSN
2004
ACM
16 years 9 days ago
MEADOWS: modeling, emulation, and analysis of data of wireless sensor networks
In this position paper, we present MEADOWS, a software framework that we are building at HKUST (The Hong Kong University of Science and Technology) for modeling, emulation, and an...
Qiong Luo, Lionel M. Ni, Bingsheng He, Hejun Wu, W...
ICTAC
2004
Springer
16 years 7 days ago
Verifying OWL and ORL Ontologies in PVS
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li
IMR
2004
Springer
16 years 7 days ago
Conformal Refinement of All-Hexahedral Element Meshes Based on Multiple Twist Plane Insertion
This paper presents an automated tool for local, conformal refinement of all-hexahedral meshes based on the insertion of multidirectional twist planes into the spatial twist conti...
Nathan J. Harris, Steven E. Benzley, Steven J. Owe...
MABS
2004
Springer
16 years 7 days ago
Simulation and Analysis of Shared Extended Mind
Some types of animals exploit patterns created in the environment as external mental states, thus obtaining an extension of their mind. In the case of social animals the creation a...
Tibor Bosse, Catholijn M. Jonker, Martijn C. Schut...
POLICY
2004
Springer
16 years 7 days ago
A Decentralized Treatment of a Highly Distributed Chinese-Wall Policy
Access control (AC) technology has come a long way from its roots as the means for sharing resources between processes running on a single machine, to a mechanism for regulating t...
Naftaly H. Minsky