2395 search results - page 261 / 479 » Reasoning in Semantic Wikis |
150
click to vote
BPM
2008
Springer
15 years 6 months ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...
171
click to vote
FMSD
2007
15 years 4 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
151
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
Users of the web are increasingly interested in tracking the appearance of new postings rather than locating existing knowledge. Coupled with this is the emergence of the Web 2.0 ...
154
click to vote
TSC
2010
15 years 2 months ago
2010
—The need for integration of all types of client and server applications that were not initially designed to interoperate is gaining popularity. One of the reasons for this popul...
144
click to vote
WS
2010
ACM
15 years 2 months ago
2010
ACM
One of the most important decisions researchers face when analyzing software systems is the choice of a proper data analysis/exchange format. In this paper, we present EvoOnt, a s...