5879 search results - page 874 / 1176 » Separation - Past, Present, and Future |
157
click to vote
SIGADA
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
158
click to vote
SPIRE
2005
Springer
16 years 7 days ago
2005
Springer
This paper proposes a model for Information Retrieval (IR) based on possibilistic directed networks. Relations documents-terms and query-terms are modeled through possibility and n...
150
click to vote
UML
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper proposes an extension of the UML 2.0 profiling mechanism. This extension facilitates a language designer to introduce composite concepts as separate conceptual...
180
click to vote
EMSOFT
2005
Springer
16 years 6 days ago
2005
Springer
One major challenge in System-on-Chip (SoC) design is the definition and design of interfaces between hardware and software. Traditional ASIC designer and software designer model ...
197
click to vote
FCT
2005
Springer
16 years 6 days ago
2005
Springer
We present several results on the complexity of various forms of Sperner’s Lemma in the black-box model of computing. We give a deterministic algorithm for Sperner problems over ...