1643 search results - page 58 / 329 » Consistability: Describing Usually Consistent Systems |
ICIP
2009
IEEE
15 years 10 months ago
2009
IEEE
The embedded-block coding with optimized truncation (EBCOT), which consists of a bit-plane coder (BPC) and a binary arithmetic coder (BAC), is the bottleneck in realizing a high-p...
POLICY
2007
Springer
15 years 3 months ago
2007
Springer
Typical IT Environments of medium to large size organizations consist of tens of networks that connect hundreds of servers to support the running of a large variety of business-re...
ACRI
2006
Springer
15 years 3 months ago
2006
Springer
Robotic systems are usually built as independent agents that collaborate to accomplish a specific task. Analysis of robot path planning consists of route planning and path generati...
FORMATS
2003
Springer
15 years 3 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
CSMR
2004
IEEE
15 years 1 months ago
2004
IEEE
A Web site is a hyperlinked network environment, which consists of hundreds of inter-connected pages, usually without an engineered architecture. This is often a large, complex We...