Sciweavers

738 search results - page 82 / 148
» Object Orientation and Formal Techniques
Sort
View
APN
2006
Springer
15 years 10 months ago
On the Integration of UML and Petri Nets in Software Development
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
Javier Campos, José Merseguer
AAAI
2008
15 years 8 months ago
Knowledge-Based Spatial Reasoning for Scene Generation from Text Descriptions
This system translates basic English descriptions of a wide range of objects in a simplistic zoo environment into plausible, three-dimensional, interactive visualizations of their...
Dan Tappan
DEBU
2002
120views more  DEBU 2002»
15 years 6 months ago
DAML+OIL: a Description Logic for the Semantic Web
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precis...
Ian Horrocks
WSCG
2001
92views more  WSCG 2001»
15 years 7 months ago
Enhancements to Directional Coherence Maps
Directional Coherence Maps as proposed by Guo in '98 are a very efficient acceleration technique for ray tracing based global illumination renderers. It vastly reduces the nu...
Annette Scheel, Marc Stamminger, Jörg Pü...
OOPSLA
2007
Springer
16 years 14 days ago
Inferring aliasing and encapsulation properties for java
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
Kin-Keung Ma, Jeffrey S. Foster