Sciweavers

2938 search results - page 438 / 588
» On obfuscating point functions
Sort
View
WETICE
2003
IEEE
15 years 11 months ago
DEVISE: A Methodology for Building Web Services Based Infrastructure for Collaborative Enterprises
Web Services define a new paradigm in present-day collaborative application development in enterprises, and span systems, networks, and organizations. Emerging computing infrastru...
N. Dhyanesh, G. C. Vineel, S. V. Raghavan
WETICE
2003
IEEE
15 years 11 months ago
Design and Implementation of Virtual Private Services
Large scale distributed applications such as electronic commerce and online marketplaces combine network access with multiple storage and computational elements. The distributed r...
Sotiris Ioannidis, Steven M. Bellovin, John Ioanni...
ITICSE
2003
ACM
15 years 11 months ago
Teaching undergraduate software design in a liberal arts environment using RoboCup
Most large research universities include a software design or software development course as a required or elective component of an undergraduate computer science major. For vario...
Timothy Huang, Frank Swenton
PLDI
2003
ACM
15 years 11 months ago
A static analyzer for large safety-critical software
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
Bruno Blanchet, Patrick Cousot, Radhia Cousot, J&e...
FM
2003
Springer
104views Formal Methods» more  FM 2003»
15 years 11 months ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...