Sciweavers

8636 search results - page 416 / 1728
» How Developers Copy
Sort
View
CAISE
2006
Springer
15 years 10 months ago
Defining Requirements for Business Process Flexibility
The recent work on business process flexibility focuses primarily on defining and classifying business process flexibility and developing strategies, architectures, and tactics for...
Kuldeep Kumar, Murali Mohan Narasipuram
EUROMICRO
2004
IEEE
15 years 10 months ago
A Framework for Interactive Visualization of Component-Based Software
In this paper, we advocate the use of visual tooling for the development and maintenance of component-based software systems. Our contribution is twofold. First, we demonstrate ho...
Alexandru Telea, Lucian Voinea
162
Voted
EURODAC
1995
IEEE
135views VHDL» more  EURODAC 1995»
15 years 10 months ago
A high performance VHDL simulator for large systems design
The requirements of large system design place great demands upon the performance and diagnostic capabilities of simulation. This paper explains how these requirements have been sa...
Steve Hodgson, Zak Shaar, Andy Smith
189
Voted
ICLP
1995
Springer
15 years 10 months ago
Variants of the Event Calculus
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...
Fariba Sadri, Robert A. Kowalski
195
Voted
STACS
1991
Springer
15 years 10 months ago
The RELVIEW-System
Several relation-algebraic algorithms for computing the cut completion of a partially ordered set are formally developed and afterwards generalized to the case of concept lattices....
Rudolf Berghammer, Gunther Schmidt