Sciweavers

317 search results - page 48 / 64
» Reasoning about the Implementation of Concurrency Abstractio...
Sort
View
WCRE
2003
IEEE
15 years 11 months ago
Detecting Merging and Splitting using Origin Analysis
Merging and splitting source code artifacts is a common activity during the lifespan of a software system; as developers rethink the essential structure of a system or plan for a ...
Lijie Zou, Michael W. Godfrey
BPM
2005
Springer
141views Business» more  BPM 2005»
15 years 11 months ago
Towards a Framework for the Agile Mining of Business Processes
Abstract. In order to support business processes effectively, their implementation by a process management systems (PMS) must be as close to the real world’s processes as possib...
Barbara Weber, Manfred Reichert, Stefanie Rinderle...
EGOV
2003
Springer
15 years 11 months ago
Semantic Web for e-Government
Abstract. As the e-government domain is about to become a field of application for Semantic Web technologies, the actors involved still lack reasoning to decide on critical issues ...
Ralf Klischewski
ICSM
1996
IEEE
15 years 10 months ago
Using Informal and Formal Techniques for the Reverse Engineering of C Programs
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
ECOOP
2006
Springer
15 years 9 months ago
Modular Software Upgrades for Distributed Systems
Abstract. Upgrading the software of long-lived, highly-available distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes...
Sameer Ajmani, Barbara Liskov, Liuba Shrira