3381 search results - page 523 / 677 » Extending Dependencies with Conditions |
215
Voted
EMO
2001
Springer
15 years 11 months ago
2001
Springer
This paper studies the influence of what are recognized as key issues in evolutionary multi-objective optimization: archiving (to keep track of the current non-dominated solutions...
193
click to vote
FM
2001
Springer
15 years 11 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
190
click to vote
ICECCS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a novel application involving two important Software Engineering research areas: process modeling and software reuse. The Spiral Model is a risk-driven process...
171
Voted
NOMS
2000
IEEE
15 years 11 months ago
2000
IEEE
Using IP-based Virtual Private Network (IP-VPN) technology, a company can establish its virtual private network over public networks. Recently, IP-VPN emerges as one of main techn...
214
Voted
CHI
2000
ACM
15 years 11 months ago
2000
ACM
Interfaces based on recognition technologies are used extensively in both the commercial and research worlds. But recognizers are still error-prone, and this results in human perf...