21379 search results - page 4135 / 4276 » The profession of IT - Evolutionary system development |
198
click to vote
KBSE
2005
IEEE
16 years 1 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
160
click to vote
STEP
2005
IEEE
16 years 1 days ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
171
click to vote
ACMSE
2005
ACM
16 years 1 days ago
2005
ACM
Web user search customization research has been fueled by the recognition that if the WWW is to attain to its optimal potential as an interactive medium the development of new and...
180
click to vote
ANCS
2005
ACM
16 years 1 days ago
2005
ACM
New network applications like intrusion detection systems and packet-level accounting require multi-match packet classification, where all matching filters need to be reported. Te...
195
click to vote
GRAPHITE
2005
ACM
16 years 1 days ago
2005
ACM
The developers and users of real-time graphics, such as games and virtual reality, are demanding ever more realistic computer generated images. Despite the availability of modern ...