1835 search results - page 236 / 367 » Functional Programming of Behavior-Based Systems |
141
Voted
APLAS
2003
ACM
15 years 10 months ago
2003
ACM
This paper introduces a Standard ML realization of the scrap-yourboilerplate generic-programming mechanism (first introduced by Simon Peyton Jones and Ralf Lämmel), which gives ...
149
click to vote
OSDI
2006
ACM
16 years 5 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
238
click to vote
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
Software modeling has received a lot a of attention in the last decade and now is an important support for the design process. Actually, the design process is very important to the...
196
click to vote
EMSOFT
2001
Springer
15 years 9 months ago
2001
Springer
Software has become strategic to developing effective distributed real-time and embedded (DRE) systems. Next-generation DRE systems, such as total ship computing environments, coo...
173
click to vote
SASO
2007
IEEE
15 years 11 months ago
2007
IEEE
Information systems form the backbones of the critical infrastructures of modern societies. Unfortunately, these systems are highly vulnerable to attacks that can result in enormo...