Sciweavers

6881 search results - page 120 / 1377
» Motivation
Sort
View
COMPSAC
2002
IEEE
15 years 10 months ago
The Quest for Software Components Quality
Component based software development is becoming more generalized, representing a considerable market for the software industry. The perspective of reduced development costs and s...
Miguel Goulão, Fernando Brito e Abreu
187
Voted
ECBS
2000
IEEE
155views Hardware» more  ECBS 2000»
15 years 9 months ago
A Component-Driven Architecture for Internet-Based, Directly Reactive Information Systems
In this paper we focus on the architecture-based development of what we call directly reactive information systems on the Internet. These systems exhibit full content management o...
René Stolle, Wilhelm Rossak, Vassilka Kirov...
DATE
1999
IEEE
135views Hardware» more  DATE 1999»
15 years 9 months ago
Combinational Equivalence Checking Using Satisfiability and Recursive Learning
The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been pro...
João P. Marques Silva, Thomas Glass
126
Voted
VISUALIZATION
1999
IEEE
15 years 9 months ago
Visualizing Multivalued Data from 2D Incompressible Flows Using Concepts from Painting
We present a new visualization method for 2d flows which allows us to combine multiple data values in an image for simultaneous viewing. We utilize concepts from oil painting, art...
Robert M. Kirby, H. Marmanis, David H. Laidlaw
COOPIS
1998
IEEE
15 years 9 months ago
Scheduling Non-Enforceable Contracts among Autonomous Agents
With the emergence of fast and standardized communication infrastructures over which separately designed agents of different organizations can interact in real-time, there is an i...
Thomas Tesch, Karl Aberer