6978 search results - page 1180 / 1396 » On Proofs in System P |
BPM
2008
Springer
14 years 21 days ago
2008
Springer
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...
CAISE
2008
Springer
14 years 21 days ago
2008
Springer
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...
CC
2008
Springer
14 years 21 days ago
2008
Springer
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...
CCS
2008
ACM
14 years 21 days ago
2008
ACM
Machine learning has become a valuable tool for detecting and preventing malicious activity. However, as more applications employ machine learning techniques in adversarial decisi...
CDC
2008
IEEE
14 years 21 days ago
2008
IEEE
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...