Sciweavers

1297 search results - page 123 / 260
» Semantic Correctness in Adaptive Process Management Systems
Sort
View
ICSM
1994
IEEE
14 years 1 months ago
Dimensions of Software Evolution
Software evolution is usually considered in terms of corrections, improvements and enhancements. While helpful, this approach does not take into account the fundamental dimensions...
Dewayne E. Perry
ERCIMDL
2005
Springer
99views Education» more  ERCIMDL 2005»
14 years 2 months ago
Management and Sharing of Bibliographies
Abstract. Managing bibliographic data is a requirement for many researchers, and in the group setting within which the majority of research takes place, the managing and sharing of...
Erik Wilde, Sai Anand, Petra Zimmermann
MSOM
2007
105views more  MSOM 2007»
13 years 8 months ago
Managing a Bank's Currency Inventory Under New Federal Reserve Guidelines
New currency recirculation guidelines implemented by the Federal Reserve System (Fed) of the United States are intended to reduce the overuse of its currency processing services b...
H. Neil Geismar, Milind Dawande, Divakar Rajamani,...
ESOP
2000
Springer
14 years 25 days ago
A Kleene Analysis of Mobile Ambients
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
SIGMOD
2007
ACM
176views Database» more  SIGMOD 2007»
14 years 9 months ago
URank: formulation and efficient evaluation of top-k queries in uncertain databases
Top-k processing in uncertain databases is semantically and computationally different from traditional top-k processing. The interplay between query scores and data uncertainty ma...
Mohamed A. Soliman, Ihab F. Ilyas, Kevin Chen-Chua...