2786 search results - page 254 / 558 » A Practical Technique for Process Abstraction |
176
click to vote
PAM
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Techniques for authenticating BGP protocol objects entail the inspection of additional information in the form of authentication credentials that can be used to validate ...
189
click to vote
ITSSA
2006
15 years 6 months ago
2006
Abstract. This paper presents a multi-agent approach to gene expression analysis and illustrates the working steps using real dataset produced from a microarray experiment. The ana...
178
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
Abstract. Many different index structures have been proposed for spatial databases to support efficient query processing. However, most of these index structures suffer from an exp...
181
click to vote
ICLP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
259
click to vote
IUI
2006
ACM
16 years 16 days ago
2006
ACM
This paper addresses the problem of the graceful degradation of user interfaces where an initial interface is transferred to a smaller platform. It presents a technique for pagina...