Sciweavers

20441 search results - page 3654 / 4089
» Locally Computable Structures
Sort
View
CRV
2007
IEEE
127views Robotics» more  CRV 2007»
15 years 11 months ago
Extrinsic Recalibration in Camera Networks
This work addresses the practical problem of keeping a camera network calibrated during a recording session. When dealing with real-time applications, a robust calibration of the ...
Chris Hermans, Maarten Dumont, Philippe Bekaert
CSFW
2007
IEEE
15 years 11 months ago
Compositional Security for Task-PIOAs
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nan...
DATE
2007
IEEE
114views Hardware» more  DATE 2007»
15 years 11 months ago
Performance aware secure code partitioning
Many embedded applications exist where decisions are made using sensitive information. A critical issue in such applications is to ensure that data is accessed only by authorized ...
Sri Hari Krishna Narayanan, Mahmut T. Kandemir, Ri...
EDOC
2007
IEEE
15 years 11 months ago
Publishing of Interoperable Services and Processes in UDDI
— This paper presents a requirements analysis and a solution approach to representing workflow processes conforming to the Wf-XML/ASAP standard proposal in a UDDI registry. Wf-X...
Marcus Spies, Harald Schöning, Keith Swenson
EDOC
2007
IEEE
15 years 11 months ago
Providing Support for Model Composition in Metamodels
In aspect-oriented modeling (AOM), a design is described using a set of design views. It is sometimes necessary to compose the views to obtain an integrated view that can be analy...
Robert B. France, Franck Fleurey, Raghu Reddy, Ben...
« Prev « First page 3654 / 4089 Last » Next »