Sciweavers

8132 search results - page 282 / 1627
» Dependability, Abstraction, and Programming
Sort
View
HICSS
2002
IEEE
150views Biometrics» more  HICSS 2002»
15 years 11 months ago
AUI: A Programming Language for Developing Plastic Interactive Software
With the proliferation of consumer computing devices with varied display and input characteristics, it has become desirable to develop interactive systems that are usable across m...
Kevin A. Schneider, James R. Cordy
WCRE
2002
IEEE
15 years 11 months ago
Finding High-Level Structures in Spreadsheet Programs
Spreadsheets are a common tool in end-user programming. But even while important decisions are based on spreadsheet computations, spreadsheets are poorly documented software and t...
Roland Mittermeir, Markus Clermont
APN
2008
Springer
15 years 8 months ago
Process Discovery Using Integer Linear Programming
Abstract. The research domain of process discovery aims at constructocess model (e.g. a Petri net) which is an abstract representation of an execution log. Such a Petri net should ...
Jan Martijn E. M. van der Werf, Boudewijn F. van D...
PLPV
2012
ACM
14 years 2 months ago
LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
Alan Jeffrey
152
Voted
GECCO
2005
Springer
16 years 7 days ago
Probabilistic distribution models for EDA-based GP
This paper proposes a novel technique for a program evolution based on probabilistic models. In the proposed method, two probabilistic distribution models with probabilistic depen...
Kohsuke Yanai, Hitoshi Iba