677 search results - page 59 / 136 » Dependent Types from Counterexamples |
CCE
2007
14 years 9 months ago
2007
This study focuses on performance assessment of industrial controllers. A methodology based on the concept of the predictability of controller errors is proposed for performance m...
EOR
2002
14 years 9 months ago
2002
The assignment of alternatives (observations/objects) into predefined homogenous groups is a problem of major practical and research interest. This type of problem is referred to ...
WICON
2010
14 years 7 months ago
2010
Clock skew is defined as the rate of deviation of a device clock from the true time. The frequency of a device's clock actually depends on its environment, such as the tempera...
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
Software development environment is a platform for supporting software designer to design software based on the software requirement specification. It is an interactive system wit...
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...