609 search results - page 40 / 122 » Using Interface Inheritance to Structure the Data Structures... |
112
click to vote
SPIN
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
121
click to vote
ESWS
2008
Springer
15 years 2 months ago
2008
Springer
The increasing amount of data on the Semantic Web offers opportunities for semantic search. However, formal query hinders the casual users in expressing their information need as t...
139
Voted
ENTCS
2010
14 years 10 months ago
2010
The zipper is a well known design pattern for providing a cursor-like interface to a data structure. However, the classic treatise by Huet only scratches the surface of some of it...
155
click to vote
POPL
1998
ACM
15 years 4 months ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
94
Voted
IPMI
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We present a new method for computing an optimal deformation between two arbitrary surfaces embedded in Euclidean 3-dimensional space. Our main contribution is in buildin...