Sciweavers

859 search results - page 135 / 172
» Implementing CMMI using a Combination of Agile Methods
Sort
View
ICSM
2005
IEEE
15 years 9 months ago
Co-Change Visualization
Clustering layouts of software systems combine two important aspects: they reveal groups of related artifacts of the software system, and they produce a visualization of the resul...
Dirk Beyer
APCSAC
2007
IEEE
15 years 10 months ago
Implicit Transactional Memory in Kilo-Instruction Multiprocessors
Although they have been the main server technology for many years, multiprocessors are undergoing a renaissance due to multi-core chips and the attractive scalability properties of...
Marco Galluzzi, Enrique Vallejo, Adrián Cri...
ROMAN
2007
IEEE
100views Robotics» more  ROMAN 2007»
15 years 10 months ago
Human- and Situation-Aware People Following
— The paper presents an approach to intelligent, interactive people following for autonomous robots. The approach combines robust methods for simultaneous localization and mappin...
Hendrik Zender, Patric Jensfelt, Geert-Jan M. Krui...
AMAST
2004
Springer
15 years 9 months ago
A Generic Software Safety Document Generator
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
Ewen Denney, Ram Prasad Venkatesan
APBC
2004
124views Bioinformatics» more  APBC 2004»
15 years 5 months ago
BRINet: A BioResource Integration Network
Addressing queries interactively to a chain of two or more biological resources is an everyday task for many scientists, as they use in-silico methods to characterize a biological...
Jason E. Sew Hoy, Alan F. McCulloch, John R. McDon...