1888 search results - page 293 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
145
Voted
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
137
click to vote
TSMC
2008
15 years 4 months ago
2008
Multiagent systems are rapidly finding applications in a variety of domains, including robotics, distributed control, telecommunications, and economics. The complexity of many task...
200
click to vote
POPL
2000
ACM
15 years 9 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
243
click to vote
SIGMOD
2009
ACM
16 years 5 months ago
2009
ACM
The query models of the recent generation of very large scale distributed (VLSD) shared-nothing data storage systems, including our own PNUTS and others (e.g. BigTable, Dynamo, Ca...
144
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
Videotext refers to text superimposed on video frames. A videotext based Multimedia Description Scheme has recently been adopted into the MPEG-7 standard. A study of published wor...