4029 search results - page 288 / 806 » Experience with Software Watermarking |
139
click to vote
FASE
1998
Springer
15 years 10 months ago
1998
Springer
We reflect on our experiences from work on the design and semantic underpinnings of Extended ML, a specification language which supports the specification and formal development o...
166
click to vote
EUROMICRO
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper considers whether the seemingly disparate fields of Computational Intelligence (CI) and computer architecture can profit from each others’ principles, results and e...
162
click to vote
LCTRTS
1998
Springer
15 years 10 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
147
click to vote
ROBOCUP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper we present the hard- and software architecture of the robots of the T-Team Tuebingen, which participated in the RoboCup'98. This paper describes how we...
181
click to vote
AADEBUG
1997
Springer
15 years 10 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...