1264 search results - page 20 / 253 » Towards Theory Translation |
IJCAI
1989
13 years 10 months ago
1989
This paper deals with a well known problem in AI planning: detecting and resolving conflicts in nonlinear plans. We sketch a theory of restricted conflict detection and resolution...
SOCO
2007
Springer
14 years 2 months ago
2007
Springer
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...
DSN
2005
IEEE
14 years 2 months ago
2005
IEEE
Insider attacks are a well-known problem acknowledged as a threat as early as 1980s. The threat is attributed to legitimate users who abuse their privileges, and given their famil...
COMPSAC
2009
IEEE
14 years 1 months ago
2009
IEEE
Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theor...
ISIPTA
1999
IEEE
14 years 1 months ago
1999
IEEE
Belief functions, possibility measures and Choquet capacities of order 2, which are special kinds of coherent upper or lower probability, are amongst the most popular mathematical...