4401 search results - page 604 / 881 » Computing with Default Logic |
124
Voted
GC
2004
Springer
15 years 10 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...
116
Voted
GRID
2004
Springer
15 years 10 months ago
2004
Springer
— We are developing a distributed computing system, Virtuoso, which presents virtual machines (VMs) as its fundabstraction to end users. Long-running noninteractive VMs may coexi...
140
click to vote
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
143
click to vote
PDP
2003
IEEE
15 years 10 months ago
2003
IEEE
As general-purpose parallel computers are increasingly being used to speed up different VLSI applications, the development of parallel algorithms for circuit testing, logic minimi...
149
Voted
APWEB
2003
Springer
15 years 10 months ago
2003
Springer
Search engines are among the most important applications or services on the web. Most existing successful search engines use global ranking algorithms to generate the ranking of do...