2375 search results - page 23 / 475 » Towards a Theory of Services |
178
click to vote
ICDT
2009
ACM
16 years 15 days ago
2009
ACM
The need to manage diverse information sources has triggered the rise of very loosely structured data models, known as "dataspace models." Such information management sy...
IJCAI
1989
15 years 29 days 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...
186
click to vote
POPL
2008
ACM
16 years 3 days ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
DSN
2005
IEEE
15 years 5 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
15 years 4 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...