1415 search results - page 186 / 283 » Verified systems by composition from verified components |
WSTFEUS
2003
IEEE
14 years 3 months ago
2003
IEEE
Increase of future appliances at home environment causes confusion with less computer-skilled users. Consequently, embedded-hardware could prevent us from recognizing all of them ...
TOOLS
1999
IEEE
14 years 2 months ago
1999
IEEE
Object-oriented frameworks are an established tool for domain-specific reuse. Many framework design patterns and development processes have been documented, typically reverse engin...
GI
2004
Springer
14 years 3 months ago
2004
Springer
: The transition from microelectronics to nanoelectronics reaches physical limits and results in a paradigm shift in the design and fabrication of electronic circuits. The conserva...
JNW
2008
13 years 10 months ago
2008
By applying a proxy mechanism widely used in WWW systems to video streaming systems, low-delay and high-quality video distribution can be accomplished without imposing extra load o...
CL
2002
Springer
13 years 10 months ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...