3742 search results - page 645 / 749 » On the Use of Formal Techniques for Validation |
172
click to vote
LFP
1992
15 years 7 months ago
1992
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
216
click to vote
WIRTSCHAFTSINFORMATI
2007
15 years 7 months ago
2007
A core challenge in Business Process Management is the continuous, bi-directional translation between (1) a business requirements view on the process space of an enterprise and (2...
166
click to vote
EGOV
2010
Springer
15 years 7 months ago
2010
Springer
E-government has emerged as one of the most promising means to reform the public sector. E-government is now being used to improve services for assisted living. The purpose of assi...
171
click to vote
COMPSEC
2008
15 years 6 months ago
2008
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reco...
166
click to vote
IJON
2006
15 years 6 months ago
2006
Ensembles of learning machines have been formally and empirically shown to outperform (generalise better than) single predictors in many cases. Evidence suggests that ensembles ge...