6054 search results - page 1033 / 1211 » Implementation of Andorra-based Languages |
94
Voted
ASYNC
2007
IEEE
15 years 4 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
129
click to vote
BIBE
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a novel gene finding and validation tool, called GeneScope, which is capable of finding and validating genes declaratively by autonomously integrating heterogeneous onl...
116
Voted
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we propose a methodology for the construction of 3D electronic institutions. 3D electronic institutions are normative environments where software and human agents ca...
104
Voted
BTW
2007
Springer
15 years 4 months ago
2007
Springer
: Relational database systems are highly efficient hosts to table-shaped data. It is all the more interesting to see how a careful inspection of both, the XML tree structure as wel...
108
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...