4286 search results - page 538 / 858 » Formalizing Service Interactions |
145
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
A number of global trends have a large influence on the way we use technology in our life and work, like: ? increasing connectivity and connected devices (any time, any place, any...
158
click to vote
MHCI
2009
Springer
15 years 11 months ago
2009
Springer
This paper summarizes value analysis of adopting technologysupported attendance control service in a primary school. The results are based on a case study that explored a 14-week ...
135
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
137
Voted
EUROITV
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes a qualitative user study of mobile phone TV usage undertaken during September 2005 and centered on the real world Mobile TV usage of paying subscribers of live...
145
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Complex environmental modeling often involves a large number of unknown physical and ecological parameters. Parameter estimation is one of the most difficult steps in many modelin...