4731 search results - page 731 / 947 » Securing Interactive Programs |
202
click to vote
POPL
1991
ACM
15 years 10 months ago
1991
ACM
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...
160
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Increasing demand for power-efficient, high-performance computing requires tuning applications and/or the underlying hardware to improve the mapping between workload heterogeneity...
164
click to vote
DFKI
2005
Springer
15 years 8 months ago
2005
Springer
It is widely accepted in Distributed Artificial Intelligence that a crucial property of artificial agents is their autonomy. Whereas agent autonomy enables features of agent-base...
146
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable ser...
172
click to vote
ERLANG
2008
ACM
15 years 8 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...