945 search results - page 40 / 189 » Detective Information Flow Analysis for Business Processes |
DOCENG
2008
ACM
13 years 9 months ago
2008
ACM
As the world wide web transforms from a vehicle of information dissemination and e-commerce transactions into a writable nexus of human collaboration, the Web 2.0 technologies at ...
FMCO
2003
Springer
14 years 24 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
GI
2007
Springer
14 years 1 months ago
2007
Springer
: State-of-the-art interoperability between heterogeneous systems on a technical level builds on services oriented architectures (SOA) for a given problem space. Semantics can be i...
DAGM
2008
Springer
13 years 9 months ago
2008
Springer
Dense optical flow fields are required for many applications. They can be obtained by means of various global methods which employ regularization techniques for propagating estimat...
RV
2010
Springer
13 years 6 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...