3782 search results - page 332 / 757 » Engineering Social Order |
177
click to vote
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
In this paper we investigate the object-oriented notion of subtyping in the context of behavioural formalisms. Subtyping in OOformalisms is closely related to the concept of inheri...
183
click to vote
COMPSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
189
click to vote
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...
162
click to vote
UIST
1999
ACM
15 years 11 months ago
1999
ACM
Diagram manipulation in conventional CAD systems requires frequent mode switching and explicit placement of the pivot for rotation and scaling. In order to simplify this process, ...
231
click to vote
ICSM
1999
IEEE
15 years 11 months ago
1999
IEEE
Test case prioritization techniques schedule test cases for execution in an order that attempts to maximize some objective function. A variety of objective functions are applicabl...