8828 search results - page 1716 / 1766 » Formal methods in practice |
127
click to vote
ACSC
2003
IEEE
15 years 3 months ago
2003
IEEE
The relative difference between two data values is of interest in a number of application domains including temporal and spatial applications, schema versioning, data warehousing...
APSEC
2003
IEEE
15 years 3 months ago
2003
IEEE
For software maintenance and evolution, a common problem is to understand how each requirement is implemented in the source code. The basic solution of this problem is to find the...
INFOCOM
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract—Uplink scheduling in wireless systems is gaining importance due to arising uplink intensive data services (ftp, image uploads etc.), which could be hampered by the curre...
104
click to vote
INFOVIS
2003
IEEE
15 years 3 months ago
2003
IEEE
Network evolution is a ubiquitous phenomenon in a wide variety of complex systems. There is an increasing interest in statistically modeling the evolution of complex networks such...
NETGAMES
2003
ACM
15 years 3 months ago
2003
ACM
: This paper outlines the basic spatial principles of level design in multi-player first-person shooters with special reference to Counterstrike, basing itself on experiment, analy...