Sciweavers

20441 search results - page 3654 / 4089
» Locally Computable Structures
Sort
View
CRV
2007
IEEE
127views Robotics» more  CRV 2007»
16 years 2 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
16 years 2 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...
190
Voted
DATE
2007
IEEE
114views Hardware» more  DATE 2007»
16 years 2 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
16 years 2 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
16 years 2 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 »