5326 search results - page 373 / 1066 » On what we can ensure |
170
click to vote
EUROMICRO
2003
IEEE
16 years 2 days ago
2003
IEEE
Software components promise easy reuse, dependability, and simplified development. Problems arise when implicit assumptions about the use of the component are encoded in the imple...
172
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a fast technique for modifying motion sequences for complex articulated mechanisms in a way that preserves physical properties of the motion. This technique i...
148
click to vote
MSS
1999
IEEE
15 years 11 months ago
1999
IEEE
We propose a new method of ensuring the redundant storage of information on tertiary storage, especially tape storage. Conventional methods for redundant data storage on tape incl...
176
Voted
COOPIS
1998
IEEE
15 years 11 months ago
1998
IEEE
With the emergence of fast and standardized communication infrastructures over which separately designed agents of different organizations can interact in real-time, there is an i...
171
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...