2005 search results - page 160 / 401 » Business Process Knowledge Modelling: Method and Tool |
174
click to vote
TKDE
2012
13 years 6 months ago
2012
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
125
Voted
SIMUTOOLS
2008
15 years 5 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
142
click to vote
IEAAIE
2009
Springer
15 years 1 months ago
2009
Springer
Knowledge engineering techniques are becoming useful and popular components of hybrid integrated systems used to solve complicated practical problems in different fields. Knowledge...
139
click to vote
SP
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
107
click to vote
IJCAI
2007
15 years 5 months ago
2007
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...