10666 search results - page 1856 / 2134 » Quantum programming languages |
154
click to vote
OPODIS
2008
15 years 6 months ago
2008
Abstract. In this paper we use colored Petri nets (CPNs) and the supporting CPN Tools for the modeling and performance analysis of grid architectures. The notation of Petri nets is...
129
Voted
COMMA
2006
15 years 6 months ago
2006
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
141
Voted
IADIS
2004
15 years 6 months ago
2004
The PolicyUpdater1 system is a generic access control system that provides policy evaluations and dynamic policy updates. These functions are achieved by the use of a logic-based ...
87
Voted
IADIS
2004
15 years 6 months ago
2004
The usability of software in rural environment is difficult for various reasons. Hence, the digital-divide remains between rural and urban population. The local language support, ...
111
click to vote
FLAIRS
2006
15 years 6 months ago
2006
Music has structure at many levels, from grand arrangements of verses and choruses down to patterns in small riffs and themes. A bracketed L-system -- the SARAH language -- is use...