570 search results - page 94 / 114 » Web-Based Feature Reduction System: A Case Study |
IFIP
1998
Springer
15 years 2 months ago
1998
Springer
The flexible integration of a range of disparate IT applications is a key requirement for today's global enterprises. The virtual enterprise, formed by a collection of collab...
RTA
1993
Springer
15 years 2 months ago
1993
Springer
This paper studies completion in the case of equations with constraints consisting of rstorder formulae over equations, disequations, and an irreducibility predicate. We present s...
FMICS
2008
Springer
14 years 11 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
JOT
2006
14 years 10 months ago
2006
Aspect-Oriented Software Development is a promising new software engineering paradigm. It promotes, in particular, improved separation of crosscutting concerns into single units c...
127
click to vote
TAOSD
2010
14 years 4 months ago
2010
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done with...