1888 search results - page 140 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
155
Voted
ACRI
2008
Springer
15 years 10 months ago
2008
Springer
In several cases, the DNA sequences of an organism are available in different stages of its evolution and it is desirable to reconstruct the DNA sequence in a previous evolution st...
95
Voted
COLING
2010
14 years 10 months ago
2010
In this paper, we propose a lexical senses representation system called E-HowNet, in which the lexical senses are defined by basic concepts. As a result, the meanings of expressio...
126
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
The emergence of the Web has made more and more news items available, however only a small subset of these news items are relevant in a decision making process. Therefore decision...
136
Voted
IEEEAMS
2003
IEEE
15 years 8 months ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
95
Voted
CONCUR
1990
Springer
15 years 7 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...