2586 search results - page 307 / 518 » Automatic Abstraction for Congruences |
149
click to vote
EMMCVPR
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We present an algorithm for automatically constructing a decompositional shape model from examples. Unlike current approaches to structural model acquisition, in which on...
192
click to vote
ICCS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract Bioinformatic data sources available on the web are multiple and heterogenous. The lack of documentation and the difficulty of interaction with these data banks require us...
139
click to vote
CCS
2004
ACM
15 years 12 months ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
151
click to vote
DSOM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A framework for the autonomous management of clustered server systems called LAMA1 (Large-scale system’s Autonomous Management Agent) is proposed in this paper. LAMA is...
173
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...