20306 search results - page 3982 / 4062 » Business Modelling Is Not Process Modelling |
120
click to vote
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Reducing resource usage is one of the most important optimization objectives in behavioral synthesis due to its direct impact on power, performance and cost. The datapat...
132
click to vote
CLOUD
2010
ACM
15 years 7 months ago
2010
ACM
Failures of any type are common in current datacenters, partly due to the higher scales of the data stored. As data scales up, its availability becomes more complex, while differe...
130
Voted
HT
2010
ACM
15 years 7 months ago
2010
ACM
Missing web pages, URIs that return the 404 “Page Not Found” error or the HTTP response code 200 but dereference unexpected content, are ubiquitous in today’s browsing exper...
157
Voted
CSFW
2002
IEEE
15 years 7 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
121
click to vote
GLVLSI
2002
IEEE
15 years 7 months ago
2002
IEEE
Design simplification is becoming necessary to respect the target time-to-market of SoCs, and this goal can be obtained by using predesigned IP-cores. However, their correct inte...