9806 search results - page 1696 / 1962 » Engineering adaptive requirements |
191
click to vote
AUSDM
2006
Springer
15 years 10 months ago
2006
Springer
Harmonic monitoring has become an important tool for harmonic management in distribution systems. A comprehensive harmonic monitoring program has been designed and implemented on ...
176
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
162
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
225
click to vote
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
Dynamic storage allocation (DSA) algorithms play an important role in the modern software engineering paradigms and techniques (such as object oriented programming). Using DSA inc...
163
click to vote
CICLING
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. When you search for information regarding a particular person on the web, a search engine returns many pages. Some of these pages may be for people with the same name. Ho...