2702 search results - page 376 / 541 » Practically Applicable Formal Methods |
147
click to vote
HICSS
2012
IEEE
13 years 10 months ago
2012
IEEE
—Real-time access to key performance indicators is necessary to ensure timeliness and effectiveness of operational business processes. The concept of Business Activity Monitoring...
126
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
We present a Semantic Web application that we call CS AKTive Space1 . The application exploits a wide range of semantically heterogeneous and distributed content relating to Compu...
175
click to vote
VEE
2012
ACM
13 years 10 months ago
2012
ACM
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...
137
Voted
CAISE
2001
Springer
15 years 6 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
152
Voted
ECCV
1994
Springer
15 years 6 months ago
1994
Springer
We present a novel robust methodology for corresponding a dense set of points on an object surface from photometric values, for 3-D stereo computation of depth. We use two stereo p...