2632 search results - page 259 / 527 » Management Issues in Eda |
154
click to vote
BPM
2009
Springer
16 years 1 months ago
2009
Springer
The effect of using automated auditing tools to detect compliance failures in unmanaged business processes is investigated. In the absence of a process execution engine, compliance...
170
click to vote
ISCIS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—This paper elaborates on mechanisms for establishing visual joint attention for the design of robotic agents that learn through natural interfaces, following a developme...
184
click to vote
ISW
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The complexity of modern network architectures and the epidemic diffusion of malware require collaborative approaches for defense. We present a novel distributed system ...
226
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
183
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
Graphical languages provide a powerful tool for describing the behaviour of quantum systems. While the use of graphs vastly reduces the complexity of many calculations [4,10], manu...