4690 search results - page 808 / 938 » An operational semantics for Scheme |
189
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
One of the most important issue in source code analysis and software re-engineering is the representation of ode text at an abstraction level and form suitable for algorithmic pro...
170
click to vote
ISLPED
2000
ACM
15 years 11 months ago
2000
ACM
In this paper we present a completely on-chip voltage regulation technique which promises to adjust the degree of voltage regulation in a digital logic chip in the face of process...
174
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
This paper describes and evaluates three methods for coordinating multiple agents. These agents interact in two ways. First, they are able to work together to achieve a common poo...
164
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Many applied problems in domains such as military operations, manufacturing, and logistics require that entities change location under certain constraints. These problems are trad...
193
click to vote
CCS
2000
ACM
15 years 11 months ago
2000
ACM
Conventional firewalls rely on topology restrictions and controlled network entry points to enforce traffic filtering. Furthermore, a firewall cannot filter traffic it does ...