15375 search results - page 49 / 3075 » cans 2008 |
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
Future system design methodologies must accept the fact that the underlying hardware will be imperfect, and enable design of robust systems that are resilient to hardware imperfec...
ECMDAFA
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper we introduce an aspect language that can define crosscutting e
SPLC
2008
13 years 9 months ago
2008
In Context-oriented Programming (COP), programs can be partitioned into behavioral variations expressed as sets of partial program definitions. Such layers can be activated and de...
UAI
2008
13 years 9 months ago
2008
We study a multiagent learning problem where agents can either learn via repeated interactions, or can follow the advice of a mediator who suggests possible actions to take. We pr...
MSCS
2008
13 years 7 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...