5639 search results - page 560 / 1128 » Timed Abstract Non-interference |
127
click to vote
GD
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper we propose three layout algorithms for semibipartite graphs—bipartite graphs with edges in one partition—that emerge from microarray experiment analysis...
111
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: Employee knowledge is a key asset of every corporate organization. Therefore organizations strive to preserve this knowledge in its different forms in a variety of ways. ...
132
click to vote
IWCIA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The paper studies local convexity properties of parts of digital boundaries. An online and linear-time algorithm is introduced for the decomposition of a digital boundary...
163
Voted
LATA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper contributes to the study of Freely Rewriting Restarting Automata (FRR-automata) and Parallel Communicating Grammar Systems (PCGS) as formalizations of the ling...
140
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Ada 95 has been the first standardized language to include distribution in the core language itself. However, the set of features required by the Distributed Systems Ann...