3742 search results - page 27 / 749 » On the Use of Formal Techniques for Validation |
109
click to vote
CC
2009
Springer
14 years 9 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
102
click to vote
RSP
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
136
click to vote
JUCS
2010
14 years 6 months ago
2010
Abstract: Authoring of Adaptive Educational Hypermedia is a complex activity requiring the combination of a range of design and validation techniques. We demonstrate how Adaptive E...
FLAIRS
2006
15 years 1 months ago
2006
AdaBoost is a well known, effective technique for increasing the accuracy of learning algorithms. However, it has the potential to overfit the training set because its objective i...