1173 search results - page 70 / 235 » Weighted Distributed Systems and Their Logics |
99
Voted
WOODPECKER
2001
15 years 2 months ago
2001
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibilit...
99
Voted
SSD
2007
Springer
15 years 6 months ago
2007
Springer
In many modern applications such as biometric identification systems, sensor networks, medical imaging, geology, and multimedia databases, the data objects are not described exact...
123
click to vote
ENTCS
2006
15 years 19 days ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
126
click to vote
CONCUR
1992
Springer
15 years 4 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
94
Voted
ICASSP
2010
IEEE
15 years 25 days ago
2010
IEEE
In commercial spoken dialog systems, call flows are built by call flow designers implementing a predefined business logic. While it may appear obvious from this logic how the c...