12981 search results - page 2313 / 2597 » Model Checking (Abstract) |
131
Voted
PADL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
132
click to vote
SAGA
2001
Springer
15 years 8 months ago
2001
Springer
We study the combinatorial optimization task of choosing the smoothest map from a given family of maps, which is motivated from motor control unit calibration. The problem is of a ...
164
click to vote
SCALESPACE
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The most popular lossy image compression method used on the Internet is the JPEG standard. JPEG’s good compression performance and low computational and memory complexi...
162
click to vote
SEMWEB
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. RDF may be considered as an application of XML intended to interoperably exchange semantics between Web applications. In its current form, this objective may be hard to r...
119
click to vote
TACAS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication pro...