1398 search results - page 126 / 280 » Ensuring Properties of Interaction Systems |
166
click to vote
POPL
1997
ACM
15 years 8 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
136
click to vote
VISUALIZATION
1997
IEEE
15 years 8 months ago
1997
IEEE
We introduce the contour spectrum, a user interface component that improves qualitative user interaction and provides real-time exact quanti cation in the visualization of isocont...
162
click to vote
ICEIS
2008
IEEE
15 years 11 months ago
2008
IEEE
In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task o...
159
click to vote
PG
2007
IEEE
15 years 11 months ago
2007
IEEE
Interactive animation systems often use a level-of-detail (LOD) control to reduce the computational cost by eliminating unperceivable details of the scene. Most methods employ a m...
122
click to vote
ECOOP
2001
Springer
15 years 9 months ago
2001
Springer
This paper takes polymorphism to the multi-object level. Traditional inheritance, polymorphism, and late binding interact nicely to provide both flexibility and safety – when a ...