The assignment of tasks to human performers is a critical component in people-centric business process management systems. Workflow management systems typically assign work items u...
Hajo A. Reijers, Monique H. Jansen-Vullers, Michae...
The design of easy-to-use mobile systems for collecting and handling emergency medical care data in the field can significantly improve the effectiveness of rescue operations. In p...
Designers of concurrent programs are faced with many choices of synchronization mechanisms, among which clear functional trade-offs exist. Making synchronization customizable is h...
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
Twitter, Facebook, and other related systems that we call social awareness streams are rapidly changing the information and communication dynamics of our society. These systems, w...