6274 search results - page 664 / 1255 » Proofs, Programs, Processes |
213
click to vote
QEST
2006
IEEE
16 years 1 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
197
click to vote
ICIP
2005
IEEE
16 years 23 days ago
2005
IEEE
We present a data embedding method for image communication applications. Our goal is to implement novel multimedia applications such as multi-language captions, interactive progra...
207
click to vote
IFIP
2004
Springer
16 years 16 days ago
2004
Springer
We develop an external memory algorithm for computing minimum spanning trees. The algorithm is considerably simpler than previously known external memory algorithms for this proble...
205
click to vote
ICALP
2003
Springer
16 years 11 days ago
2003
Springer
We are given a set of jobs each has a processing time, a non-negative weight, a set of possible time intervals in which it can be processed and a cost. The goal is to schedule a f...
179
click to vote
ICSM
2002
IEEE
16 years 3 days ago
2002
IEEE
Incremental changes add new functionality and properties to software. They are the core of software evolution, maintenance, iterative development, agile development, and similar s...