Sciweavers

2075 search results - page 279 / 415
» aims 2007
Sort
View
BPM
2007
Springer
153views Business» more  BPM 2007»
15 years 10 months ago
Compliance Aware Business Process Design
Historically, business process design has been driven by business objectives, specifically process improvement. However this cannot come at the price of control objectives which s...
Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori
BTW
2007
Springer
114views Database» more  BTW 2007»
15 years 10 months ago
Transformation of Models in(to) a Generic Metamodel
: Model Management aims at developing new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be performed by means of a set...
David Kensche, Christoph Quix
CAV
2007
Springer
110views Hardware» more  CAV 2007»
15 years 10 months ago
Hector: Software Model Checking with Cooperating Analysis Plugins
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
Nathaniel Charlton, Michael Huth
CCS
2007
ACM
15 years 10 months ago
Denial of service or denial of security?
We consider the effect attackers who disrupt anonymous communications have on the security of traditional high- and low-latency anonymous communication systems, as well as on the...
Nikita Borisov, George Danezis, Prateek Mittal, Pa...
CDVE
2007
Springer
218views Visualization» more  CDVE 2007»
15 years 10 months ago
Web-Based Engineering Portal for Collaborative Product Development
Nowadays, collaborative product development has become a strategic necessity to develop high quality products at low cost and with quick response time to market demand. Past decade...
Shuangxi Huang, Yushun Fan