2776 search results - page 279 / 556 » System-Level Abstraction Semantics |
158
click to vote
FASE
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
188
click to vote
GISCIENCE
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Integration of GIS and hydrologic models has been a common approach for monitoring our ever-changing hydrologic system. One important issue in adapting such an approach i...
147
click to vote
IJCNLP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This paper proposes the use of Latent Semantic Indexing (LSI) techniques, decomposed with semi-discrete matrix decomposition (SDD) method, for text categorization. The SD...
145
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract— We perform spectral analysis of the Internet topology at the AS level, by adapting the standard spectral filtering method of examining the eigenvectors corresponding t...
167
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...