Sciweavers

233 search results - page 10 / 47
» BlenX Static and Dynamic Semantics
Sort
View
SYNTHESE
2011
177views more  SYNTHESE 2011»
13 years 2 months ago
Quantum logic as a dynamic logic
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
Alexandru Baltag, Sonja Smets
WWW
2004
ACM
14 years 8 months ago
Semantical Descriptions of Models for Web Design
The use of semantic web languages brings a number of advantages for web engineering methodologies. In this paper we present how in the Hera methodology the design models benefit f...
Peter Barna, Geert-Jan Houben, Flavius Frasincar, ...
HICSS
2005
IEEE
127views Biometrics» more  HICSS 2005»
14 years 1 months ago
Enterprise Architecture Analysis with XML
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
Frank S. de Boer, Marcello M. Bonsangue, Joost Jac...
MMM
2007
Springer
105views Multimedia» more  MMM 2007»
14 years 2 months ago
Discovering User Information Goals with Semantic Website Media Modeling
In this work we present an approach to capture the total semantics in multimedia-multimodal web pages. Our research improves upon the state-ofthe-art with two key features: (1) cap...
Bibek Dev Bhattarai, Mike Wong, Rahul Singh
ICWE
2007
Springer
14 years 1 months ago
Engineering Semantic-Based Interactive Multi-device Web Applications
Abstract. To build high-quality personalized Web applications developers have to deal with a number of complex problems. We look at the growing class of personalized Web Applicatio...
Pieter Bellekens, Kees van der Sluijs, Lora Aroyo,...