5451 search results - page 978 / 1091 » Typed Operational Semantics |
116
click to vote
IJAR
2007
15 years 3 months ago
2007
Pseudo-independent (PI) models are a special class of probabilistic domain model (PDM) where a set of marginally independent domain variables shows collective dependency, a specia...
150
click to vote
TOPLAS
2008
15 years 3 months ago
2008
act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...
146
click to vote
JKM
2007
15 years 3 months ago
2007
Purpose – The purpose of this paper is to study the influence of organizational environment on the selection of knowledge management strategies. The paper focuses particularly ...
121
Voted
TSMC
2008
15 years 3 months ago
2008
Deadlock-free resource allocation has been an active area of research in flexible manufacturing. Most researchers have assumed that allocated resources do not fail, and thus, littl...
139
click to vote
DM
2000
15 years 3 months ago
2000
Word reversing is a combinatorial operation on words that detects pairs of equivalent words in monoids that admit a presentation of a certain form. Here we give conditions for this...