Sciweavers

1483 search results - page 171 / 297
» Integrated Modeling of Business Value and Software Processes
Sort
View
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 4 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
149
Voted
APSEC
2002
IEEE
15 years 9 months ago
A Predictive Performance Model to Evaluate the Contention Cost in Application Servers
In multi-tier enterprise systems, application servers are key components to implement business logic and provide services. To support a large number of simultaneous accesses from ...
Shiping Chen, Ian Gorton
WCRE
1999
IEEE
15 years 9 months ago
MoJo: A Distance Metric for Software Clusterings
The software clustering problem has attracted much attention recently, since it is an integral part of the process of reverse engineering large software systems. A key problem in ...
Vassilios Tzerpos, Richard C. Holt
141
Voted
AISM
2004
15 years 6 months ago
Securing Web Services with XML aware Digital Signatures
The evolution of web services has facilitated the integration of business processes scattered across different geographical locations of the world. Along with the benefits that we...
Sabbir Ahmed, Leisa Armstrong
135
Voted
ICIP
2009
IEEE
15 years 2 months ago
FM filters for modulation domain image processing
For the first time, we demonstrate modulation domain image filters that achieve perceptually motivated image processing goals by directly manipulating the FM functions in a multi-...
Chuong T. Nguyen, Patrick A. Campbell, Joseph P. H...