7393 search results - page 1232 / 1479 » Synthesis-for-testability using transformations |
160
click to vote
AI
2003
Springer
15 years 9 months ago
2003
Springer
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...
139
click to vote
CRYPTO
2003
Springer
15 years 9 months ago
2003
Springer
We consider the fundamental problem of authenticated group key exchange among n parties within a larger and insecure public network. A number of solutions to this problem have bee...
173
click to vote
DEXA
2003
Springer
15 years 9 months ago
2003
Springer
With access to real-time information on critical performance indicators of business processes, managers and staff members can play a crucial role in improving the speed and effecti...
130
Voted
ECAL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We present a variant of the snapshot model [1] for insect visual homing. In this model a snapshot image is taken by an agent at the goal position. The disparity between c...
121
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...