19587 search results - page 3537 / 3918 » Systems Engineering for software Engineers |
177
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...
133
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Automatically assessing the value of bioavailability from the chemical structure of a molecule is a very important issue in biomedicine and pharmacology. In this paper, we present...
191
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Encapsulation of states in object-oriented programs hinders the search for test data using evolutionary testing. As client code is oblivious to the internal state of a server obje...
194
click to vote
CCGRID
2001
IEEE
15 years 10 months ago
2001
IEEE
Active networks allow computations to be performed innetwork at routers as messages pass through them. Active networks offer unique opportunities to optimize networkcentric applic...
181
click to vote
CIA
2000
Springer
15 years 10 months ago
2000
Springer
In the near future, billions of entities will be connected to each other through the Internet. The current trend is that an increasingly number of entities, from smart personal dev...