Sciweavers

6343 search results - page 945 / 1269
» Development of a Cartographic Language
Sort
View
201
Voted
IPPS
2003
IEEE
16 years 24 days ago
Performance Monitoring and Evaluation of a UPC Implementation on a NUMA Architecture
UPC is an explicit parallel extension of ANSI C, which has been gaining rising attention from vendors and users. In this work, we consider the low-level monitoring and experimenta...
François Cantonnet, Yiyi Yao, Smita Annared...
DOLAP
2003
ACM
16 years 23 days ago
Advanced visualization for OLAP
Data visualization is one of the big issues of database research. OLAP as a decision support technology is highly related to the developments of data visualization area. In this p...
Andreas S. Maniatis, Panos Vassiliadis, Spiros Ski...
205
Voted
AIME
2003
Springer
16 years 23 days ago
Linking Clinical Guidelines with Formal Representations
Abstract. Clinical protocols and guidelines have been used in the medical domain for some time now, primarily to reduce proneness to errors during the treatment of specific disease...
Peter Votruba, Silvia Miksch, Robert Kosara
219
Voted
FM
2003
Springer
169views Formal Methods» more  FM 2003»
16 years 22 days ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
191
Voted
FM
2003
Springer
146views Formal Methods» more  FM 2003»
16 years 22 days ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb