Sciweavers

4917 search results - page 405 / 984
» Software Engineering is Not Computer Science
Sort
View
PPOPP
2011
ACM
14 years 7 months ago
Cooperative reasoning for preemptive execution
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan
ICDS
2009
IEEE
15 years 11 months ago
PaTac: Urban, Ubiquitous, Personalized Services for Citizens and Tourists
This paper presents the general design of an architecture, based on software agents and oriented to the semantic Web, for the development and deployment of urban, ubiquitous servi...
Luigi Ceccaroni, Victor Codina, Manel Palau, Marc ...
HICSS
2005
IEEE
134views Biometrics» more  HICSS 2005»
15 years 10 months ago
Discussion of a Large-Scale Open Source Data Collection Methodology
This paper discusses in detail a possible methodology for collecting repository data on a large number of open source software projects from a single project hosting and community...
Michael Hahsler, Stefan Koch
FSE
1998
Springer
79views Cryptology» more  FSE 1998»
15 years 8 months ago
On the Design and Security of RC2
The block cipher RC2 was designed in 1989 by Ron Rivest for RSA Data Security Inc. In this paper we describe both the cipher and preliminary attempts to use both differential and l...
Lars R. Knudsen, Vincent Rijmen, Ronald L. Rivest,...
ICCS
2005
Springer
15 years 10 months ago
Adaptive Model Trust Region Methods for Generalized Eigenvalue Problems
Computing a few eigenpairs of large-scale matrices is a significant problem in science and engineering applications and a very active area of research. In this paper, two methods...
Pierre-Antoine Absil, C. G. Baker, Kyle A. Galliva...