6274 search results - page 431 / 1255 » Proofs, Programs, Processes |
171
click to vote
IH
2005
Springer
16 years 10 days ago
2005
Springer
Software protection is an area of active research in which a variety of techniques have been developed to address the issue. Examples of such techniques are software watermarking, ...
165
click to vote
ATVA
2004
Springer
16 years 7 days ago
2004
Springer
nded Abstract – Oleg Parshin∗ Abdur Rakib† Stephan Thesing∗ Reinhard Wilhelm∗ The precise determination of worst-case execution times (WCETs) for programs is mostly bein...
162
click to vote
PERVASIVE
2004
Springer
16 years 5 days ago
2004
Springer
Based on an extensive field study of current firefighting practices, we have developed a system called Siren to support tacit communication between firefighters with multiple level...
175
click to vote
GCC
2003
Springer
16 years 1 days ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
188
click to vote
GD
2003
Springer
16 years 1 days ago
2003
Springer
A drawing of a family of cuts of a graph is an augmented drawing of the graph such that every cut in the family is represented by a simple closed curve and vice versa. We show tha...