Sciweavers

5433 search results - page 544 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
191
Voted
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 5 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
FUIN
2010
137views more  FUIN 2010»
15 years 4 months ago
Extending and Implementing RASP
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
Stefania Costantini, Andrea Formisano, Davide Pett...
TOPNOC
2010
15 years 1 months ago
Schedule-Aware Workflow Management Systems
Abstract. Contemporary workflow management systems offer workitems to users through specific work-lists. Users select the work-items they will perform without having a specific sch...
Ronny Mans, Nick C. Russell, Wil M. P. van der Aal...
193
Voted
CHB
2011
183views more  CHB 2011»
14 years 11 months ago
Towards an ICT-based psychology: E-psychology
Cognitive science is the scientific domain which studies, analyses, simulates and infers for various aspects, functions and procedures of human mentality such as, thinking, logic, ...
Athanasios Drigas, Lefteris Koukianakis, Yannis Pa...
197
Voted
CSCW
2012
ACM
14 years 3 months ago
Between us and them: building connectedness within civic networks
Civic networks of community-based organizations face significant challenges in working together to combat issues facing their community (e.g., gang violence, sex trafficking). In ...
Jennifer Stoll, W. Keith Edwards, Kirsten A. Foot