10038 search results - page 319 / 2008 » Model Checking for Managers |
192
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...
134
click to vote
AIMS
2007
Springer
16 years 26 days ago
2007
Springer
Different kinds of malware like the botnets and the worms are a main threat on Internet for the current and future. Their efficiency to control systems is proved and we are invest...
187
click to vote
ER
2004
Springer
16 years 2 days ago
2004
Springer
Identity management has arisen as a major and urgent challenge for internet-based communications and information services. Internet services involve complex networks of relationshi...
169
click to vote
PATMOS
2004
Springer
16 years 1 days ago
2004
Springer
Portableembeddeddevicesmustpresentlyrunmultimediaandwireless network applications with enormous computational performance requirements at a low energy consumption. In these applica...
160
click to vote
VAMOS
2008
Springer
15 years 8 months ago
2008
Springer
With current trends towards moving variability from hardware to software, and given the increasing desire to postpone design decisions as much as is economically feasible, managin...