4286 search results - page 759 / 858 » Formalizing Service Interactions |
121
Voted
DSVIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
134
Voted
EDO
2005
Springer
15 years 9 months ago
2005
Springer
An SQL injection attack targets interactive web applications that employ database services. Such applications accept user input, such as form fields, and then include this input ...
125
Voted
EDO
2005
Springer
15 years 9 months ago
2005
Springer
re connector is an abstraction capturing interactions among components. Apart from middleware independence, connectors provide additional services (e.g., adaptation, synchronizati...
124
Voted
HUC
2005
Springer
15 years 9 months ago
2005
Springer
We describe the results of a field deployment of the AURA system which links online content to physical objects through machine readable tags. AURA runs on commercially available p...
110
Voted
HUC
2005
Springer
15 years 9 months ago
2005
Springer
Using ethnographic methods, 28 young professionals across the global cities of London, Los Angeles, and Tokyo were studied to understand in some detail what items they carried with...