5216 search results - page 568 / 1044 » Planning as Model Checking |
145
Voted
KES
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This research develops an optimal planning model for pump-treatinject based groundwater remediation systems. Optimizing the design of the pump-treat-inject system is a no...
189
Voted
ICWS
2004
IEEE
15 years 8 months ago
2004
IEEE
The advent of Web services has made automated workflow composition relevant to Web based applications. One technique that has received some attention, for automatically composing ...
182
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...
198
Voted
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
189
Voted
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Abstract. Performing effective preference-based data retrieval requires detailed and preferentially meaningful structurized information about the current user as well as the items ...