3713 search results - page 408 / 743 » Constructing a Calculus of Programs |
134
click to vote
LADS
2007
Springer
15 years 10 months ago
2007
Springer
In agent theory and agent programming, goals constitute the motivational attitude of rational agents and form the key concept in explaining and generating their pro-active behavior...
140
click to vote
ML
2006
ACM
15 years 10 months ago
2006
ACM
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...
124
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
111
Voted
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
The En Route Automation Modernization (ERAM) program is a real-time Air Traffic Control (ATC) program being developed by Lockheed Martin Corporation. The ERAM program has high ava...
166
click to vote
SP
1999
IEEE
15 years 9 months ago
1999
IEEE
There is often the need to update an installed Intrusion Detection System (IDS) due to new attack methods or upgraded computing environments. Since many current IDSs are construct...