389 search results - page 61 / 78 » Service Composition Based on Natural Language Requests |
132
click to vote
IWFM
2000
15 years 3 months ago
2000
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
SECURWARE
2007
IEEE
15 years 8 months ago
2007
IEEE
— Digital Ecosystems is the new paradigm for dynamic IT business integration. A Digital Ecosystem consists of institutions that compete, collaborate, and form stable or unstable ...
105
click to vote
INFOCOM
2002
IEEE
15 years 6 months ago
2002
IEEE
— This paper deals with the performance modeling of the various MAC states as defined by the cdma2000 protocol. Our method uses a composite performance metric which has the capa...
121
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
136
click to vote
LREC
2010
15 years 3 months ago
2010
Abstract. This paper describes recent approaches using text-mining to automatically profile and extract arguments from legal cases. We outline some of the background context and mo...