2838 search results - page 553 / 568 » Verifying Controlled Components |
159
Voted
PPSN
1994
Springer
15 years 6 months ago
1994
Springer
We present the Genetic L-System Programming (GLP) paradigm for evolutionary creation and development of parallel rewrite systems (Lsystems, Lindenmayer-systems) which provide a com...
175
Voted
UIST
1993
ACM
15 years 6 months ago
1993
ACM
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
124
click to vote
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
The world is increasingly dependent on critical infrastructures such as the electric power grid, water, gas, and oil transport systems, which are susceptible to cascading failures...
120
click to vote
KDD
2010
ACM
15 years 6 months ago
2010
ACM
At Google, experimentation is practically a mantra; we evaluate almost every change that potentially affects what our users experience. Such changes include not only obvious user-...
149
Voted
ESCIENCE
2006
IEEE
15 years 6 months ago
2006
IEEE
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...