Sciweavers

5384 search results - page 180 / 1077
» Open Standards Requirements
Sort
View
ENTCS
2006
161views more  ENTCS 2006»
15 years 6 months ago
Architecture Normalization for Component-based Systems
Being able to systematically change the original architecture of a component-based system to a desired target architecture without changing the set of functional requirements of t...
Lian Wen, R. Geoff Dromey
CDC
2010
IEEE
118views Control Systems» more  CDC 2010»
15 years 1 months ago
A state-based framework for supervisory control synthesis and verification
We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for ...
Jasen Markovski, Dirk A. van Beek, Rolf J. M. Theu...
WWW
2002
ACM
16 years 7 months ago
Certified email with a light on-line trusted third party: design and implementation
This paper presents a new protocol for certified email. The protocol aims to combine security, scalability, easy implementation, and viable deployment. The protocol relies on a li...
Martín Abadi, Neal Glew
MODELS
2007
Springer
16 years 22 days ago
Architectural Aspects in UML
We propose a method for describing architectural aspects in UML and show how binding specifications are used to compose aspects with base models. UML classes, parts, ports, and c...
Jon Oldevik, Øystein Haugen
FGR
2006
IEEE
120views Biometrics» more  FGR 2006»
16 years 20 days ago
Relighting of Facial Images
We present a novel method to relight video sequences given known surface shape and illumination. The method preserves fine visual details. It requires single view video frames, ap...
Péter Csákány, Adrian Hilton