312 search results - page 36 / 63 » Restricting and Embedding Imperatives |
STACS
2007
Springer
15 years 4 months ago
2007
Springer
We present a (2 3 − o(1))-approximation algorithm for the partial latin square extension (PLSE) problem. This improves the current best bound of 1 − 1 e due to Gomes, Regis, an...
IWIA
2006
IEEE
15 years 3 months ago
2006
IEEE
The development of a Common Criteria protection profile for high-robustness separation kernels requires explicit modifications of several Common Criteria requirements as well as e...
SAINT
2006
IEEE
15 years 3 months ago
2006
IEEE
There are many kinds of control networks, which have been used in various non-IP network areas, such as BA (Building Automation), FA (Factory Automation) and PA (Process Automatio...
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
GI
2004
Springer
15 years 3 months ago
2004
Springer
: Smart environments are often populated by resource-restricted devices that need to cooperate with each other in order to access remote sensors and benefit from other devices’ ...