Sciweavers

9572 search results - page 285 / 1915
» Cover Algorithms and Their Combination
Sort
View
CONCUR
2003
Springer
15 years 12 months ago
Syntactic Formats for Free
act Approach to Process Equivalence Bartek Klin Pawel Soboci´nski BRICS University of Aarhus, Denmark Abstract. A framework of Plotkin and Turi’s, originally aimed at providing ...
Bartek Klin, Pawel Sobocinski
ICLP
2003
Springer
15 years 12 months ago
Concurrency, Time, and Constraints
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
Frank D. Valencia
183
Voted
ISSRE
2002
IEEE
15 years 11 months ago
Fault Detection Capabilities of Coupling-based OO Testing
Object-oriented programs cause a shift in focus from software units to the way software classes and components are connected. Thus, we are finding that we need less emphasis on un...
Roger T. Alexander, Jeff Offutt, James M. Bieman
GI
1998
Springer
15 years 11 months ago
Business Object Facilities - A Comparative Analysis
Rapidlychanging business processes require quick adaption of supportinginformationsystems. Component technologies in general and business objects, in particular seem a promising a...
Wolfgang Emmerich, Ernst Ellmer, Birgit Osterholt,...
IFIP
1994
Springer
15 years 10 months ago
Trends in Environmental Information Processing
In recent years, systems for processing environmental information have been evolving from research and development systems to practical applications. Today, many of these systems ...
Franz Josef Radermacher, Wolf-Fritz Riekert, Bernd...