8658 search results - page 1523 / 1732 » Models of Command and Control |
127
Voted
ICFEM
2003
Springer
15 years 7 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
125
click to vote
IFIP
2003
Springer
15 years 7 months ago
2003
Springer
Efficient communication in Bluetooth scatternets requires design of intra and inter-piconet scheduling algorithms, and therefore numerous algorithms have been proposed. However, du...
119
Voted
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
145
Voted
AFRIGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
We present a method for editing the LOD of quad meshes, which supports both adaptive refinement and adaptive coarsening. Starting at a base mesh, we generate a quad-dominant mesh...
122
click to vote
DANCE
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...