Sciweavers

1259 search results - page 194 / 252
» Use Cases, Actions, and Roles
Sort
View
CANDT
2009
15 years 10 months ago
Hometown websites: continuous maintenance of cross-border connections
Information and Communication Technologies (ICT) become particularly relevant in contexts where place-based communities get dispersed and migrants look for ways to keep strong con...
Luís A. Castro, Victor M. Gonzalez
IEEESCC
2010
IEEE
15 years 10 months ago
Towards a Unified Service Description Language for the Internet of Services: Requirements and First Developments
Service-oriented Architectures (SOA) and Web services leverage the technical value of solutions in the areas of distributed systems and cross-enterprise integration. The emergence...
Jorge Cardoso, Alistair Barros, Norman May, Uwe Ky...
ICFEM
2007
Springer
15 years 10 months ago
Automating Refinement Checking in Probabilistic System Design
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
Carlos Gonzalia, Annabelle McIver
3DPVT
2004
IEEE
119views Visualization» more  3DPVT 2004»
15 years 10 months ago
The Influence of Shape on Image Correspondence
We examine the implications of shape on the process of finding dense correspondence and half-occlusions for a stereo pair of images. The desired property of the depth map is that ...
Abhijit S. Ogale, Yiannis Aloimonos
CAISE
2009
Springer
15 years 9 months ago
The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited
Abstract. Parthood is a relation of fundamental importance in a number of disciplines including cognitive science, linguistics and conceptual modeling. However, one classical probl...
Giancarlo Guizzardi