Sciweavers

5477 search results - page 698 / 1096
» Contexts, Domains, and Software
Sort
View
ENTCS
2007
107views more  ENTCS 2007»
15 years 7 months ago
Modeling Environment for Component Model Checking from Hierarchical Architecture
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
Pavel Parizek, Frantisek Plasil
AIS
2000
Springer
15 years 6 months ago
The Evolve project: Component-based tailorability for CSCW applications
Tailorability is generally regarded as a key property of groupware systems due to the dynamics and differentiation of cooperative work. This article investigates the use of softwa...
Oliver Stiemerling, Armin B. Cremers
ENTCS
1998
90views more  ENTCS 1998»
15 years 6 months ago
Handling ELAN rewrite programs via an exchange format
Designing a programming environment raises difficult implementation problems since such software is not just one piece of code able to execute programs expressed in a given progra...
Peter Borovanský, Salma Jamoussi, Pierre-Et...
ET
1998
99views more  ET 1998»
15 years 6 months ago
A Behavior Model for Next Generation Test Systems
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
Lee A. Shombert, John W. Sheppard
186
Voted
TKDE
2008
111views more  TKDE 2008»
15 years 5 months ago
An Exploratory Study of Database Integration Processes
One of the central problems of database integration is schema matching, that is, the identification of similar data elements in two or more databases or other data sources. Existin...
Joerg Evermann