1368 search results - page 200 / 274 » Personality-Based Practical Reasoning |
151
Voted
POPL
1993
ACM
15 years 7 months ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
122
Voted
ACMSE
2007
ACM
15 years 6 months ago
2007
ACM
Testing is an essential but often under-utilized area of software engineering. A variety of software testing techniques have been developed to effectively identify bugs in source ...
104
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has at...
117
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
The vision of ubiquitous computing is one in which resource constrained mobile devices form ad-hoc networks to enable the delivery of services that are sensitive and responsive to...
123
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...