Sciweavers

2255 search results - page 83 / 451
» High Assurance Software Systems
Sort
View
ISPE
2003
13 years 11 months ago
Task-oriented engineering of coordinated software systems
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
Enrico Denti, Andrea Omicini, Alessandro Ricci
POLICY
2004
Springer
14 years 3 months ago
A Decentralized Treatment of a Highly Distributed Chinese-Wall Policy
Access control (AC) technology has come a long way from its roots as the means for sharing resources between processes running on a single machine, to a mechanism for regulating t...
Naftaly H. Minsky
EUROPAR
2003
Springer
14 years 3 months ago
High-Level Process Control in Eden
High-level control of parallel process behaviour simplifies the development of parallel software substantially by freeing the programmer from low-level process management and coor...
Jost Berthold, Ulrike Klusik, Rita Loogen, Steffen...
WSCG
2000
93views more  WSCG 2000»
13 years 11 months ago
The Design and Application of High-Resolution 3D Stereoscopic Graphics Display on PC
This paper describes methods and procedures for real-time rendering of high-resolution 3D stereoscopic graphics using an improved 3D OpenGL accelerator on PC platform. The hardwar...
Duoduo Liao
DSD
2010
IEEE
134views Hardware» more  DSD 2010»
13 years 10 months ago
A New High-Level Methodology for Programming FPGA-Based Smart Camera
Due to the various devices composing a smart camera system, various languages have to be known by the designer (like HDL and C/C++). Most of vision applications designers are soft...
Nicolas Roudel, François Berry, Jocelyn S&e...