9821 search results - page 1669 / 1965 » A Framework for the Development of Protocols |
185
click to vote
COCO
2003
Springer
15 years 12 months ago
2003
Springer
We give machine characterisations and logical descriptions of a number of parameterized complexity classes. The focus of our attention is the class W[P], which we characterise as ...
175
click to vote
COSIT
2003
Springer
15 years 12 months ago
2003
Springer
The scope of this paper is a qualitative description of terrain features that can be characterized using the silhouette of a terrain. The silhouette is a profile of a landform seen...
180
click to vote
ECML
2003
Springer
15 years 12 months ago
2003
Springer
A central issue in logical concept induction is the prospect of inconsistency. This problem may arise due to noise in the training data, or because the target concept does not fit...
180
click to vote
ECOOP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
163
click to vote
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...