Sciweavers

1268 search results - page 48 / 254
» Architectural Description with Integrated Data Consistency M...
Sort
View
AINA
2003
IEEE
13 years 11 months ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu
CVPR
2009
IEEE
15 years 2 months ago
Multi-view 3D Human Pose Estimation combining Single-frame Recovery, Temporal Integration and Model Adaptation
We present a system for the estimation of unconstrained 3D human upper body movement from multiple cameras. Its main novelty lies in the integration of three components: single-...
Dariu M. Gavrila, Michael Hofmann
SIGMOD
2005
ACM
142views Database» more  SIGMOD 2005»
14 years 1 months ago
Information intelligence: metadata for information discovery, access, and integration
Integrating enterprise information requires an accurate, precise and complete understanding of the disparate data sources, the needs of the information consumers, and how these ma...
Randall Hauch, Alex Miller, Rob Cardwell
ICEBE
2007
IEEE
174views Business» more  ICEBE 2007»
14 years 2 months ago
Worksheet-Driven UMM Modeling of B2B Services
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
Christian Huemer, Marco Zapletal, Philipp Liegl, R...
ISCA
1998
IEEE
151views Hardware» more  ISCA 1998»
13 years 12 months ago
Integrated Predicated and Speculative Execution in the IMPACT EPIC Architecture
Explicitly Parallel Instruction Computing (EPIC) architectures require the compiler to express program instruction level parallelism directly to the hardware. EPIC techniques whic...
David I. August, Daniel A. Connors, Scott A. Mahlk...