Sciweavers

565 search results - page 73 / 113
» Evaluating computer-supported cooperative work: models and f...
Sort
View
STEP
2005
IEEE
15 years 3 months ago
Using Metamodels in Service Interoperability
Interoperability in service oriented environments is heavily inuenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
Andreas Winter, Jürgen Ebert
ISSTA
2012
ACM
13 years 4 days ago
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Je...
EMNLP
2004
14 years 11 months ago
From Machine Translation to Computer Assisted Translation using Finite-State Models
State-of-the-art machine translation techniques are still far from producing high quality translations. This drawback leads us to introduce an alternative approach to the translat...
Jorge Civera, Elsa Cubel, Antonio L. Lagarda, Davi...
EICS
2009
ACM
15 years 1 months ago
A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
Philippe A. Palanque, Marco Winckler, Jean-Fran&cc...
HUC
2010
Springer
14 years 10 months ago
Examining micro-payments for participatory sensing data collections
The rapid adoption of mobile devices that are able to capture and transmit a wide variety of sensing modalities (media and location) has enabled a new data collection paradigm - p...
Sasank Reddy, Deborah Estrin, Mark H. Hansen, Mani...