1360 search results - page 182 / 272 » Reasoning on Workflow Executions |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
JDM
2006
13 years 9 months ago
2006
Global semantic integrity constraints ensure integrity and consistency of data spanning multiple databases. In this paper, we take the initial steps towards representing global se...
JPDC
2006
13 years 9 months ago
2006
We introduce Virtual Leashing,1 a new technique for software protection and control. The leashing process removes small fragments of code, pervasive throughout the application, an...
IJAR
2007
13 years 8 months ago
2007
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...
JCP
2007
13 years 8 months ago
2007
—Computer Supported Collaborative Learning (CSCL) tool adoption is slow and challenging when compared to the dissemination of simpler content delivery systems. The lack of techni...