5639 search results - page 1056 / 1128 » Timed Abstract Non-interference |
101
Voted
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
121
click to vote
MM
2006
ACM
15 years 7 months ago
2006
ACM
ons for this project. Most recent ones are listed at the end of this abstract. In the future, feature selection will be integrated in the multi-class EM algorithm to improve the pe...
ICDE
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— Defining suitable indexes is a major task when optimizing a database. Usually, a human database administrator defines a set of indexes in the design phase of the data...
119
click to vote
ICEIS
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
102
click to vote
INFOCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— An ad hoc wireless network is an autonomous selforganizing system of mobile nodes connected by wireless links where nodes not in direct range communicate via intermedia...