4520 search results - page 640 / 904 » Algebraic Techniques for Timed Systems |
168
click to vote
CAV
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
192
click to vote
ICDCS
2006
IEEE
16 years 23 days ago
2006
IEEE
Effective caching in Domain Name System (DNS) is critical to its performance and scalability. Existing DNS only supports weak cache consistency by using the Time-To-Live (TTL) mec...
177
click to vote
VISUALIZATION
2005
IEEE
16 years 8 days ago
2005
IEEE
We propose a distributed data management scheme for large data visualization that emphasizes efficient data sharing and access. To minimize data access time and support users wit...
200
click to vote
CD
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
163
click to vote
ERLANG
2003
ACM
15 years 12 months ago
2003
ACM
The distributed telecommunications sector not only requires minimal time to market, but also software that is reliable, available, maintainable and scalable. High level programmin...