Sciweavers

1830 search results - page 312 / 366
» Centering in Dynamic Semantics
Sort
View
SEMCO
2008
IEEE
15 years 10 months ago
Entity Name System: The Back-Bone of an Open and Scalable Web of Data
Recognizing that information from different sources refers to the same (real world) entity is a crucial challenge in instance-level information integration, as it is a pre-requisi...
Paolo Bouquet, Heiko Stoermer, Claudia Nieder&eacu...
TASE
2008
IEEE
15 years 10 months ago
Reasoning about Channel Passing in Choreography
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao...
AH
2008
Springer
15 years 10 months ago
Proactive Versus Multimodal Online Help: An Empirical Study
Two groups of 8 participants experimented two enhancements of standard online help for the general public during one hour: adaptive proactive (AP) assistance and multimodal user su...
Jérôme Simonin, Noëlle Carbonell
ACSC
2007
IEEE
15 years 10 months ago
Web Services Discovery Based On Schema Matching
A web service is programmatically available application logic exposed over Internet. With the rapid development of e-commerce over Internet, web services have attracted much atten...
Yanan Hao, Yanchun Zhang
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
15 years 10 months ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...