1835 search results - page 259 / 367 » Functional Programming of Behavior-Based Systems |
151
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
130
click to vote
FCCM
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper provides an evaluation of SGI® RASC™ RC100 technology from a computational science software developer’s perspective. A brute force implementation of a two-point an...
129
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
Capability acquisition graphs (CAGs) provide a powerful framework for modeling insider threats, network attacks and system vulnerabilities. However, CAG-based security modeling sys...
123
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
Service-oriented architecture (SOA) will form the basis of future information systems. Web services are a promising way to implement SOA enabling the loose coupling of functionalit...
173
click to vote
ECRTS
2006
IEEE
15 years 10 months ago
2006
IEEE
We study the problem of dynamically scheduling a set of state-feedback control tasks controlling a set of linear plants. We consider an on-line non-preemptive scheduling policy th...