Sciweavers

6978 search results - page 1180 / 1396
» On Proofs in System P
Sort
View
BPM
2008
Springer
144views Business» more  BPM 2008»
14 years 21 days ago
Supporting Flexible Processes through Recommendations Based on History
Abstract. In today's fast changing business environment flexible Process Aware Information Systems (PAISs) are required to allow companies to rapidly adjust their business pro...
Helen Schonenberg, Barbara Weber, Boudewijn F. van...
CAISE
2008
Springer
14 years 21 days ago
Process Flexibility: A Survey of Contemporary Approaches
Abstract. Business processes provide a means of coordinating interactions between workers and organisations in a structured way. However the dynamic nature of the modern business e...
Helen Schonenberg, Ronny Mans, Nick Russell, Natal...
CC
2008
Springer
107views System Software» more  CC 2008»
14 years 21 days ago
How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation
Application debugging is a tedious but inevitable chore in any software development project. An effective debugger can make programmers more productive by allowing them to pause ex...
Qin Zhao, Rodric M. Rabbah, Saman P. Amarasinghe, ...
CCS
2008
ACM
14 years 21 days ago
Open problems in the security of learning
Machine learning has become a valuable tool for detecting and preventing malicious activity. However, as more applications employ machine learning techniques in adversarial decisi...
Marco Barreno, Peter L. Bartlett, Fuching Jack Chi...
CDC
2008
IEEE
154views Control Systems» more  CDC 2008»
14 years 21 days ago
Effect of topological dimension on rigidity of vehicle formations: Fundamental limitations of local feedback
We consider the role of topological dimension in problems of network consensus and vehicular formations where only local feedback is available. In particular, we consider the simpl...
Bassam Bamieh, Mihailo R. Jovanovic, Partha P. Mit...
« Prev « First page 1180 / 1396 Last » Next »