661 search results - page 48 / 133 » What Can We Expect from Program Verification |
137
Voted
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...
123
click to vote
AAAI
2008
15 years 5 months ago
2008
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...
173
Voted
ECWEB
2010
Springer
15 years 1 months ago
2010
Springer
: Virtual worlds have become very popular recently, in particular 3D virtual worlds with a built-in virtual currency that enables providers and users to monetize their creations. V...
154
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Integrating contributions received from other agents is an essential activity in multi-agent systems (MASs). Not only must related contributions be integrated together, but the co...
126
Voted
ECIS
2000
15 years 4 months ago
2000
As the information systems discipline grows, so do the number of programs offering graduate research degrees (GRD). In Australasia these include one year post-graduate (honors) pr...