5863 search results - page 865 / 1173 » On Model-Checking of P Systems |
150
Voted
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Effective business processes must be able to accommodate changes in the environment in which they operate, e.g., new laws, changes in business strategy. The ability to encompass su...
156
click to vote
EPEW
2008
Springer
15 years 8 months ago
2008
Springer
Embedded systems operating on high data workloads are becoming pervasive. ECA rule engines provide a flexible environment to support the management, reconfiguration and execution o...
163
click to vote
AAAI
2010
15 years 8 months ago
2010
There is a growing need for efficient and scalable semantic web queries that handle inference. There is also a growing interest in representing uncertainty in semantic web knowled...
164
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
We present a stationary iterative scheme for PageRank computation. The algorithm is based on a linear system formulation of the problem, uses inner/outer iterations, and amounts to...
162
click to vote
LREC
2010
15 years 8 months ago
2010
In order to manage the knowledge representation of European law we have proposed the Legal Taxonomy Syllabus methodology (Ajani et al., 2007a; Ajani et al., 2007b). In this paper ...