6020 search results - page 699 / 1204 » A New Approach to Model Counting |
185
click to vote
BPM
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Process-aware information systems should enable the flexible alignment of business processes to new requirements by supporting deviations from the predefined process mode...
236
click to vote
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
Dynamic texture is an extension of texture to the temporal domain. Description and recognition of dynamic textures has attracted growing attention. In this paper, a new method for ...
219
click to vote
ESORICS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been de...
202
Voted
RECOMB
2000
Springer
15 years 11 months ago
2000
Springer
Custom-designed DNA arrays offer the possibility of simultaneously monitoring thousands of hybridization reactions. These arrays show great potential for many medical and scientif...
203
click to vote
ICPP
1995
IEEE
15 years 11 months ago
1995
IEEE
– In this paper we present a new approach to benchmark the performance of shared memory systems. This approach focuses on recognizing how far off the performance of a given memor...