2488 search results - page 183 / 498 » An improvement in formal verification |
102
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
The use of machine learning techniques to automatically analyse data for information is becoming increasingly widespread. In this paper we examine the use of Genetic Programming a...
103
click to vote
BPM
2009
Springer
15 years 6 months ago
2009
Springer
This report will present a collection of tools that supports the precise definition, careful analysis, and execution of processes that coordinate the actions of humans, automated d...
131
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Partial evaluation aims to improve the efficiency of a program by specialising it with respect to some known inputs. In this paper, we show that partial evaluation can be an effec...
112
click to vote
CODES
2010
IEEE
14 years 11 months ago
2010
IEEE
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
101
click to vote
ESORICS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...