1342 search results - page 207 / 269 » Ordered Programs as Abductive Systems |
ARGMAS
2008
Springer
13 years 10 months ago
2008
Springer
Norms represent what ought to be done, and their fulfillment can be seen as benefiting the overall system, society or organisation. However, individual agent goals (desire) may con...
SOSP
1989
ACM
13 years 10 months ago
1989
ACM
Shared-memory multiprocessors are frequently used in a timesharing style with multiple parallel applications executing at the same time. In such an environment, where the machine ...
CDC
2009
IEEE
13 years 10 months ago
2009
IEEE
Classification problems in critical applications such as health care or security often require very high reliability because of the high costs of errors. In order to achieve this r...
JSW
2008
13 years 8 months ago
2008
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...
CLUSTER
2002
IEEE
13 years 8 months ago
2002
IEEE
High-performance computing faces considerable change as the Internet and the Grid mature. Applications that once were tightly-coupled and monolithic are now decentralized, with co...