4340 search results - page 663 / 868 » Formal Methods and Cryptography |
172
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
lued Abstraction for Continuous-Time Markov Chains⋆ Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 RWTH Aachen University1 , TU Munich2 , University of...
187
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
Object-oriented languages define the identity of an object to be an address-based object identifier. The programmer may customize the notion of object identity by overriding the ...
198
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
In recent years, innovation in technologies such as web services, business process automation, etc., have motivated a new paradigm in the application development field to appear, k...
200
click to vote
IPMI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We propose a novel algorithm called graph-shifts for performing image segmentation and labeling. This algorithm makes use of a dynamic hierarchical representation of the ...
196
click to vote
PEPM
2007
ACM
16 years 1 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...