1835 search results - page 233 / 367 » Functional Programming of Behavior-Based Systems |
168
click to vote
SAS
1993
Springer
15 years 9 months ago
1993
Springer
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
112
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Botnets, which consist of thousands of compromised machines, can cause significant threats to other systems by launching Distributed Denial of Service (DDoS) attacks, keylogging, a...
124
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We introduce a novel software-protection method, which can be fully implemented with today's technologies, that provides traitor tracing and license-enforcement functionalitie...
148
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
149
click to vote
SIGDIAL
2010
15 years 2 months ago
2010
This paper proposes a simple framework for building 'virtual networking agents'; programs that can communicate with users and collect information through the internet. T...