1438 search results - page 146 / 288 » An Expressive Extension of TLC |
175
click to vote
RTA
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we consider the monadic second order logic (MSO) and two of its extensions, namely Counting MSO (CMSO) and Presburger MSO (PMSO), interpreted over unranked and unord...
192
click to vote
APLAS
2004
ACM
15 years 12 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
188
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
A Bayesian network is an appropriate tool to deal with the uncertainty that is typical of real-life applications. Bayesian network arcs represent statistical dependence between dif...
158
click to vote
FQAS
2004
Springer
15 years 12 months ago
2004
Springer
With the fast growing speech technologies, the world is emerging to a new speech era. Speech recognition has now become a practical technology for real world applications. While so...
178
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distrib...