1981 search results - page 342 / 397 » Model-Checking Hierarchical Structures |
UIST
1994
ACM
14 years 26 days ago
1994
ACM
While graphical user interfaces have gained much popularity in recent years, there are situations when the need to use existing applications in a nonvisual modality is clear. Exam...
OOPSLA
1989
Springer
14 years 25 days ago
1989
Springer
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
VLDB
1989
ACM
14 years 25 days ago
1989
ACM
An important direction in database research for non-standard applications (e.g. engineering or design applications) deals with adequate support for complex objects. Without doubt,...
DAC
2007
ACM
14 years 22 days ago
2007
ACM
This paper presents MOJITO, a system which optimizes across thousands of analog circuit topologies simultaneously, and returns a set of sized topologies that collectively provide ...
COMPLEX
2009
Springer
14 years 22 days ago
2009
Springer
Abstract. The aim of a transportation system is to enable the movement of goods or persons between any two locations with the highest possible efficiency. This simple principle ins...