2586 search results - page 250 / 518 » Automatic Abstraction for Congruences |
166
click to vote
CHARME
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
174
click to vote
COSIT
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Current mobile computing systems can automatically sense and communicate detailed data about a person’s location. Location privacy is an urgent research issue because c...
128
click to vote
COSIT
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper complements landmark research with an approach to formalize the structural salience of objects along routes. The aim is to automatically integrate salient obje...
178
click to vote
ECML
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Classical planning domain representations assume all the objects from one type are exactly the same. But when solving problems in the real world systems, the execution of...
165
click to vote
ECOOP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In our research we are studying how to combine modelling, metamodelling, and reflection to systematically generate middleware configurations that can be targeted at diffe...