10935 search results - page 1842 / 2187 » Neural Programming Language |
187
click to vote
FASE
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
139
click to vote
ACSD
2008
IEEE
16 years 1 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
183
click to vote
CIMCA
2008
IEEE
16 years 1 months ago
2008
IEEE
Cooperation is the process of synchronization and exchanging useful knowledge between agents in multiagent systems. Since cooperation associates agents into a collaborative team t...
176
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents an application for the automatic generation of Bond Graph models. The basis for this automated creation is a modified plant model in the XML-format according t...
173
click to vote
ICSM
2008
IEEE
16 years 1 months ago
2008
IEEE
Annotations are often mentioned as a potential alternative to tackle the fragile nature of AspectJ pointcuts. However, annotations themselves can be considered crosscutting elemen...