3971 search results - page 387 / 795 » On the Use of Properties in Java Applications |
169
click to vote
GD
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We propose an algorithm for the 3D visualization of general ontology models used in many applications, such as semantic web, entity-relationship diagrams and other databa...
190
click to vote
DAC
2000
ACM
15 years 11 months ago
2000
ACM
In many modern designs, timing is either a key optimization goal and/or a mandatory constraint. We propose the first intellectual property protection technique using watermarking ...
181
click to vote
PARLE
1993
15 years 11 months ago
1993
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...
173
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...
163
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...