1419 search results - page 95 / 284 » Notes on Formalizing Context |
110
Voted
CAISE
2007
Springer
15 years 7 months ago
2007
Springer
Enterprises require mechanisms to ensure that their business processes implement and fulfill internal controls in context of regulatory compliance such as Sarbanes Oxley Act. In th...
105
Voted
ESWS
2007
Springer
15 years 6 months ago
2007
Springer
Enterprises require mechanisms to ensure that their business processes implement and fulfill internal controls in context of regulatory compliance such as Sarbanes Oxley Act. In th...
111
click to vote
CLIMA
2008
15 years 2 months ago
2008
Abstract. I present an overview of complexity results for model checking of temporal and strategic logics. Unfortunately, it is possible to manipulate the context so that different...
106
Voted
PAKM
2000
15 years 2 months ago
2000
The This paper presents our work to define an Extended Enterprise Memory which is an explicit representation of knowledge for cooperative activity. This work is relevant from coop...
88
Voted
CORR
2000
Springer
15 years 16 days ago
2000
Springer
This paper describes howautomated deduction methods for natural language processing can be applied moreefficiently by encodingcontext in a moreelaborate way. Our workis based on f...