1669 search results - page 237 / 334 » Structured Specification of Model Interpreters |
127
Voted
CEC
2010
IEEE
15 years 4 months ago
2010
IEEE
This work focuses on the development of a parallel framework method to improve the effectiveness and the efficiency of the obtained solutions by Multi-objective Evolutionary Algori...
148
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper studies a stochastic game theoretic approach to security and intrusion detection in communication and computer networks. Specifically, an Attacker and a Defender take pa...
127
click to vote
ENTCS
2010
15 years 3 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
139
click to vote
CSI
2007
15 years 3 months ago
2007
The subject of research in this paper is RM-ODP, an ISO/ITU-T international standard. We investigate an important challenge that the standard faces, specifically the absence of a ...
101
click to vote
CLEIEJ
2002
15 years 3 months ago
2002
This paper presents a CORBA Security discretionary prototype developed in the context of JaCoWeb Security Project. JaCoWeb Security Project is developing an authorization scheme f...