1133 search results - page 82 / 227 » Local Logics for Traces |
92
Voted
GC
2004
Springer
15 years 6 months ago
2004
Springer
In this paper an extension of a behavioural subset of UML statecharts for mobile computations is proposed. We study collections of UML objects whose behaviour is given by statechar...
85
Voted
SAT
2004
Springer
15 years 6 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
132
Voted
GLVLSI
2007
IEEE
15 years 4 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
109
Voted
ESWS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Semantic Web Services were developed with the goal of automating the integration of business processes on the Web. The main idea is to express the functionality of the se...
85
Voted
AI
2007
Springer
15 years 7 months ago
2007
Springer
When using Bayesian networks, practitioners often express constraints among variables by conditioning a common child node to induce the desired distribution. For example, an ‘or...