1608 search results - page 287 / 322 » Challenges in Business Process Analysis |
FASE
2011
Springer
13 years 1 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
EGOV
2011
Springer
12 years 10 months ago
2011
Springer
Digital Preservation has been recognized as a key challenge in providing trusted information and sustainable eGovernment services. However, there has been little convergence on ali...
CSCW
2012
ACM
12 years 5 months ago
2012
ACM
Civic networks of community-based organizations face significant challenges in working together to combat issues facing their community (e.g., gang violence, sex trafficking). In ...
SI3D
2012
ACM
12 years 5 months ago
2012
ACM
In Virtual Environments (VE), users are often facing tasks that involve direct manipulation of virtual objects at close distances, such as touching, grabbing, placement. In immers...
TMA
2012
Springer
12 years 5 months ago
2012
Springer
Abstract. The signaling traffic of a cellular network is rich of information related to the movements of its devices across cell boundaries. Thus, passive monitoring of anonymized ...