Sciweavers

714 search results - page 80 / 143
» Models and Tools for Collaborative Annotation
Sort
View
JUCS
2010
135views more  JUCS 2010»
15 years 1 months ago
Locating and Crawling eGovernment Services A Light-weight Semantic Approach
Abstract: The application of Web 2.0 tools and methodologies in the domain of eGovernment is not yet a fully exploited area due to the immaturity of the software support, and the l...
Luis Álvarez Sabucedo, Luis E. Anido-Rif&oa...
BPM
2006
Springer
150views Business» more  BPM 2006»
15 years 6 months ago
Towards a Methodology for Deriving Contract-Compliant Business Processes
Abstract. This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring co...
Zoran Milosevic, Shazia Wasim Sadiq, Maria E. Orlo...
CAISE
2006
Springer
15 years 6 months ago
A Platform for Managing Term Dictionaries for Utilizing Distributed Interview Archives
This paper proposes a platform that aims to support the whole process and facilitate archiving tasks at museums and galleries. When we try to preserve tacit knowledge or skills of ...
Kenro Aihara, Atsuhiro Takasu
ISSTA
2010
ACM
15 years 4 months ago
Analysis of invariants for efficient bounded verification
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
Juan P. Galeotti, Nicolás Rosner, Carlos L&...
CHI
2006
ACM
16 years 3 months ago
Interaction in creative tasks
The design of tools for creative activities affects the creative processes and output of users. In this paper we consider how an understanding of creative interaction can inform t...
Tim Coughlan, Peter Johnson