1522 search results - page 164 / 305 » Practical Exception Specifications |
121
click to vote
COR
2008
15 years 2 months ago
2008
Evolutionary Testing is a promising approach for automating the testing of software-based systems. A number of papers have been published in the last years which have successfully...
107
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...
115
click to vote
EOR
2010
15 years 2 months ago
2010
This paper investigates the integration of the employee timetabling and production scheduling problems. At the first level, we manage a classical employee timetabling problem. At ...
131
click to vote
IAJIT
2008
15 years 2 months ago
2008
Abstract: State-of-the-art supply chain management systems can be obtained from the supply chain operations referencemodel for business applications, advancement and practices. Pro...
111
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with an equational specification. These tools consist in introducing...