4211 search results - page 626 / 843 » Types as Abstract Interpretations |
124
Voted
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— We extend techniques for a reachability-based ion to continuous systems under shared control, that is, systems which have both inputs controlled by the automation and inputs co...
130
click to vote
ER
2001
Springer
15 years 9 months ago
2001
Springer
Abstract Spatio-temporal extensions to data models have been an active area of research for a number of years. To date, much of this work has focused on the relational data model, ...
136
click to vote
OOPSLA
2001
Springer
15 years 9 months ago
2001
Springer
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
137
Voted
APN
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. Inheritance is one of the key issues of object-orientation. The inheritance mechanism allows for the definition of a subclass which inherits the features of a specific ...
139
Voted
ASAP
2004
IEEE
15 years 8 months ago
2004
IEEE
We explain how modern programmable logic devices have capabilities that are well suited for them to assume a central role in the implementation of networked systems, now and in th...