Sciweavers

1054 search results - page 168 / 211
» Using Component Abstraction for Automatic Generation of Macr...
Sort
View
TASE
2008
IEEE
15 years 4 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...
ESWS
2010
Springer
15 years 2 months ago
Semantics, Sensors, and the Social Web: The Live Social Semantics Experiments
Abstract. The Live Social Semantics is an innovative application that encourages and guides social networking between researchers at conferences and similar events. The application...
Martin Szomszor, Ciro Cattuto, Wouter Van den Broe...
FASE
2009
Springer
15 years 1 months ago
Mining API Error-Handling Specifications from Source Code
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...
Mithun Acharya, Tao Xie
CADUI
2004
14 years 11 months ago
Building Rich User Interfaces for Digital Talking Books
: This paper presents a framework for the automatic production of Digital Talking Books (DTB). The production process converts existing audio tapes and OCR-based digitalization of ...
Luís Carriço, Carlos Duarte, Rui Lop...
GISCIENCE
2008
Springer
141views GIS» more  GISCIENCE 2008»
14 years 10 months ago
Simplest Instructions: Finding Easy-to-Describe Routes for Navigation
Abstract. Current applications for wayfinding and navigation assistance usually calculate the route to a destination based on the shortest or fastest path from the origin. However...
Kai-Florian Richter, Matt Duckham