354 search results - page 61 / 71 » Constraints of Behavioural Inheritance |
138
Voted
SIROCCO
2004
15 years 5 months ago
2004
The problem of routing traffic through a congested network is studied. The framework is that introduced by Koutsoupias and Papadimitriou where the network is constituted by m paral...
119
Voted
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
123
Voted
RTAS
2009
IEEE
15 years 10 months ago
2009
IEEE
—Software instrumentation is a key technique in many stages of the development process. It is of particular importance for debugging embedded systems. Instrumented programs produ...
170
Voted
ECMDAFA
2009
Springer
15 years 10 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
137
Voted
IWANN
2009
Springer
15 years 10 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...