277 search results - page 45 / 56 » An Approach to Specify and Test Component-Based Dependable S... |
118
click to vote
ASPLOS
2011
ACM
14 years 3 months ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...
SIMUTOOLS
2008
15 years 1 months ago
2008
Embedded Peer-to-Peer Systems (EP2P) represent a new challenge in the development of software for distributed systems. The main objective of the SMEPP (Secure Middleware for Embed...
WWW
2004
ACM
16 years 10 days ago
2004
ACM
The emerging standards for the publication of Web Services are focused on the specification of the static interfaces of the operations to be invoked, or on the service composition...
133
click to vote
PAMI
2012
13 years 2 months ago
2012
—We propose a probabilistic formulation of joint silhouette extraction and 3D reconstruction given a series of calibrated 2D images. Instead of segmenting each image separately i...
108
click to vote
TOPNOC
2008
14 years 11 months ago
2008
Message Sequence Charts (MSCs) are a well known language for specifying scenarios that describe how different actors (e.g., system components, people, or organizations) interact. M...