5198 search results - page 650 / 1040 » A Logic of Agent Programs |
306
click to vote
POPL
2008
ACM
16 years 8 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
213
click to vote
POPL
2010
ACM
16 years 5 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
198
click to vote
PEPM
2009
ACM
16 years 4 days ago
2009
ACM
A requirement of any source language is to be rich in features and concise to use by the programmers. As a drawback, it is often too complex to analyse, causing research studies t...
209
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
174
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
Goals are an important concept in intelligent agent systems, and can take a variety of forms. One such form is maintenance goals, which, unlike achievement goals, define states th...