880 search results - page 116 / 176 » Model checking erlang programs: the functional approach |
140
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
242
click to vote
VL
2007
IEEE
15 years 10 months ago
2007
IEEE
This articles submits the thesis that visual data modeling and programming languages are conveniently conceived as rendering, or ‘styling’, of conventional, textual languages....
228
click to vote
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other com...
154
Voted
ICML
2002
IEEE
16 years 4 months ago
2002
IEEE
Kernel-based learning algorithms work by embedding the data into a Euclidean space, and then searching for linear relations among the embedded data points. The embedding is perfor...
127
click to vote
CPAIOR
2005
Springer
15 years 9 months ago
2005
Springer
The Employee Timetabling Problem (ETP) is a general class of problems widely encountered in service organizations (such as call centers for instance). Given a set of activities, a ...