10539 search results - page 17 / 2108 » On L |
LOPSTR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
POLICY
2007
Springer
14 years 1 months ago
2007
Springer
Abstract— We present the Cognitive Radio (Policy) Language (CoRaL), a new language for expressing policies that govern the behavior of cognitive radios that opportunistically sha...
COCO
1994
Springer
13 years 11 months ago
1994
Springer
Recent results by Toda, Vinay, Damm, and Valiant have shown that the complexity of the determinant is characterized by the complexity of counting the number of accepting computati...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
In this paper we investigate the affect of various acceptance conditions on recogniser membrane systems without dissolution. We demonstrate that two particular acceptance conditio...
INFSOF
2006
13 years 7 months ago
2006
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...