Sciweavers

1697 search results - page 32 / 340
» Supporting the design of service contracts with interaction ...
Sort
View
ECOOP
2010
Springer
15 years 25 days ago
Contract-Based Data Structure Repair Using Alloy
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
Razieh Nokhbeh Zaeem, Sarfraz Khurshid
70
Voted
SIGSOFT
2003
ACM
15 years 10 months ago
Ontology support for web service processes
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
Claus Pahl, Michael Casey
CHI
2006
ACM
15 years 10 months ago
Participatory design in emergency medical service: designing for future practice
We describe our research--its approach, results and products--on Danish emergency medical service (EMS) field or "pre-hospital" work in minor and major incidents. We dis...
Margit Kristensen, Morten Kyng, Leysia Palen
ICNS
2009
IEEE
14 years 7 months ago
Supporting High-Tech Crime Investigation through Dynamic Service Integration
In this paper we introduce the idea of integrating high security level services to support law enforcement with high-tech crime investigation. We take advantage of a process-orien...
Cezary Mazurek, Maciej Stroinski, Dariusz Walczak,...
AIED
2005
Springer
15 years 3 months ago
The Use of Qualitative Reasoning Models of Interactions between Populations to Support Causal Reasoning of Deaf Students
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
Paulo Salles, Heloisa Lima-Salles, Bert Bredeweg