10916 search results - page 218 / 2184 » On Constructive Connectives and Systems |
158
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
The product of safe Petri nets is a well known operation : it generalizes to concurrent systems the usual synchronous product of automata. In this paper, we consider a more general...
166
click to vote
ERCIMDL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper describes a digital library architecture and implementation that is configurable, extensible and dynamic in the way it presents content and in the services it ...
199
Voted
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
172
click to vote
ECIR
2003
Springer
15 years 8 months ago
2003
Springer
This paper explores the use of texts that are related to an image collection, also known as collateral texts, for building thesauri in specialist domains to aid in image retrieval....
130
click to vote
ECIS
2003
15 years 8 months ago
2003
The paper argues for the use of discourse analysis in information systems research by drawing on a discourse analysis study of virtual organizing. It identifies a range of issues ...