Sciweavers

445 search results - page 72 / 89
» A Systematic Construction of Abstract Domains
Sort
View
RR
2007
Springer
14 years 2 months ago
A Semantic Framework for Language Layering in WSML
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
Jos de Bruijn, Stijn Heymans
SSD
2005
Springer
116views Database» more  SSD 2005»
14 years 2 months ago
PA-Tree: A Parametric Indexing Scheme for Spatio-temporal Trajectories
Abstract. Many new applications involving moving objects require the collection and querying of trajectory data, so efficient indexing methods are needed to support complex spatio...
Jinfeng Ni, Chinya V. Ravishankar
AIME
2003
Springer
14 years 2 months 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
INFOCOM
2000
IEEE
14 years 1 months ago
Constrained Multicast Routing in WDM Networks with Sparse Light Splitting
Abstract— As WDM technology matures and multicast applications become increasingly popular, supporting multicast at the WDM layer becomes an important and yet challenging topic. ...
Xijun Zhang, John Wei, Chunming Qiao
CAISE
2006
Springer
14 years 15 days ago
A Method for Functional Alignment Verification in Hierarchical Enterprise Models
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
Irina Rychkova, Alain Wegmann