4166 search results - page 472 / 834 » Automating the constraining process |
177
click to vote
RTA
1995
Springer
15 years 8 months ago
1995
Springer
We present a completion procedure (called MKB) that works for multiple reduction orderings. Given equations and a set of reduction orderings, the procedure simulates a computation ...
118
click to vote
IPAS
2008
15 years 7 months ago
2008
The automatic detection of runway hazards from a moving platform under poor visibility conditions is a multifaceted problem. The general approach that we use relies on looking at ...
147
click to vote
BPM
2008
Springer
15 years 7 months ago
2008
Springer
Business Continuity Management (BCM) is a process to manage risks, emergencies, and recovery plans of an organization during a crisis. It results in a document called Business Cont...
131
click to vote
EUROPLOP
2006
15 years 6 months ago
2006
Extensibility and maintainability of software becomes more an issue as the complexity of the software development process rises. Design patterns in the sense of Gamma et al. [3] a...
126
click to vote
JUCS
2008
15 years 5 months ago
2008
: Nowadays, the complexity of software applications has brought new challenges to developers, having to deal with a large number of computational requirements. Among these requirem...