Sciweavers

317 search results - page 48 / 64
» Reasoning about the Implementation of Concurrency Abstractio...
Sort
View
WCRE
2003
IEEE
15 years 6 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
133
Voted
BPM
2005
Springer
141views Business» more  BPM 2005»
15 years 7 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 6 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 5 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 5 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