Sciweavers

7661 search results - page 1367 / 1533
» Languages and the Computing Profession
Sort
View
PG
2003
IEEE
16 years 10 days ago
A State Machine for Real-Time Cutting of Tetrahedral Meshes
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...
Daniel Bielser, Pascal Glardon, Matthias Teschner,...
WISE
2003
Springer
16 years 10 days ago
A Rule Based Approach to the Service Composition Life-Cycle
Web services are becoming the prominent paradigm for distributed computing and electronic business. This has raised the opportunity for service providers and application developer...
Jian Yang, Mike P. Papazoglou, Bart Orriëns, ...
DOLAP
2003
ACM
16 years 9 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...
AIME
2003
Springer
16 years 9 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
ASM
2003
ASM
16 years 9 days ago
An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
Ileana Ober
« Prev « First page 1367 / 1533 Last » Next »