1860 search results - page 112 / 372 » tools 2009 |
104
Voted
DOLAP
2009
ACM
15 years 4 months ago
2009
ACM
Decisional systems are crucial for enterprise improvement. They allow the consolidation of heterogeneous data from distributed enterprise data stores into strategic indicators. An...
106
Voted
BPM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Continuous optimization of business process execution including its adaptation to changes within the market environment or the company itself becomes increasingly importa...
128
click to vote
ERSHOV
2009
Springer
14 years 10 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
139
Voted
ICFEM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
ICHIT
2009
Springer
14 years 10 months ago
2009
Springer
As the popularity of the internet continues growing, not only change our life, but also change the way of crime. Number of crime by computer as tools, place or target, cases of su...