Sciweavers

4048 search results - page 165 / 810
» Design Science, Engineering Science and Requirements Enginee...
Sort
View
SNPD
2003
15 years 7 months ago
Telematics: A Distinctive Discipline
With the advance of knowledge, new disciplines are succesively identified. Computer Science has its roots in Babbage and others, but was identified as a separate discipline duri...
Carlos Delgado Kloos, Arturo Azorra Soloña
ACMSE
2006
ACM
16 years 10 days ago
Some new approaches for preventing software tampering
In this paper, we propose several methods to increase the difficulty of reverse engineering applications, with special emphasis on preventing the circumvention of copy protection ...
Bin Fu, Golden G. Richard III, Yixin Chen
FOCS
2005
IEEE
15 years 12 months ago
AdWords and Generalized On-line Matching
How does a search engine company decide what ads to display with each query so as to maximize its revenue? This turns out to be a generalization of the online bipartite matching p...
Aranyak Mehta, Amin Saberi, Umesh V. Vazirani, Vij...
TLCA
2005
Springer
15 years 12 months ago
Can Proofs Be Animated By Games?
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
Susumu Hayashi
SOFSEM
1999
Springer
15 years 10 months ago
Software Change and Evolution
Changeability (also called evolvability) is an essential property of software. Software change is the foundation for both new software development and legacy software maintenance, ...
Vaclav Rajlich