10038 search results - page 1762 / 2008 » Model Checking for Managers |
126
click to vote
EGOV
2009
Springer
15 years 11 months ago
2009
Springer
Harmonizing decentralized development of ICT solutions with centralized strategies, e.g., meant to favor reuse and optimization of resources, is a complex technical and organizatio...
141
click to vote
ISCIS
2009
Springer
15 years 11 months ago
2009
Springer
—With the development of improved and cost-effective technologies, it is now possible to detect thousands of metabolites in biofluids or specific organs, and reliably quantify th...
151
click to vote
ISMIS
2009
Springer
15 years 11 months ago
2009
Springer
Workflow mining aims to find graph-based process models based on activities, emails, and various event logs recorded in computer systems. Current workflow mining techniques mainly ...
152
Voted
ISW
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. While code obfuscation attempts to hide certain characteristics of a program independently of an application, white-box cryptography (WBC) specifically focuses on softwa...
157
click to vote
ISW
2009
Springer
15 years 11 months ago
2009
Springer
As a new public key primitive, attribute-based encryption (ABE) is envisioned to be a promising tool for implementing fine-grained access control. To further address the concern o...