Sciweavers

7527 search results - page 317 / 1506
» Design and implementation of the KioskNet system
Sort
View
ACSAC
2006
IEEE
16 years 22 days ago
From Languages to Systems: Understanding Practical Application Development in Security-typed Languages
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
Boniface Hicks, Kiyan Ahmadizadeh, Patrick Drew Mc...
GPCE
2003
Springer
15 years 12 months ago
A Case for Test-Code Generation in Model-Driven Systems
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
Matthew J. Rutherford, Alexander L. Wolf
ICIP
2009
IEEE
15 years 4 months ago
Modeling of image shutters and motion blur in analog and digital camera systems
For motion imaging the perceived smoothness of a sequence highly depends on motion blur. The exposure for each frame is started and ended with a shutter mechanism. There are diffe...
Michael Schöberl, Siegfried Fößel,...
ACSD
2006
IEEE
129views Hardware» more  ACSD 2006»
16 years 22 days ago
Communicating with Synchronized Environments
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
Tiberiu Seceleanu, Axel Jantsch
ATAL
2005
Springer
16 years 6 days ago
Scalable fault tolerant Agent Grooming Environment: SAGE
Researchers have been emphasizing the strong role that multi-agent systems can play progressively towards the design and implementation of complex autonomic systems. The aim of th...
Hafiz Farooq Ahmad, Hiroki Suguri, Arshad Ali, Sar...