10666 search results - page 1789 / 2134 » Quantum programming languages |
130
click to vote
WIKIS
2009
ACM
15 years 11 months ago
2009
ACM
Software development is a knowledge-intensive activity and frequently implies a progressive crystallization of knowledge, towards programming language statements. Although wikis h...
141
click to vote
FASE
2010
Springer
15 years 11 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...
107
click to vote
ACSD
2008
IEEE
15 years 11 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...
138
click to vote
CIMCA
2008
IEEE
15 years 11 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...
133
click to vote
ETFA
2008
IEEE
15 years 11 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...