Sciweavers

5439 search results - page 257 / 1088
» Patterns: from system design to software testing
Sort
View
OOPSLA
2004
Springer
15 years 9 months ago
Finding bugs is easy
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
David Hovemeyer, William Pugh
BVAI
2007
Springer
15 years 10 months ago
Patterns of Binocular Disparity for a Fixating Observer
Abstract. Binocular information about the structure of a scene is contained in the relative positions of corresponding points in the two views. If the eyes rotate, in order to fix...
Miles E. Hansard, Radu Horaud
METAINFORMATICS
2005
Springer
15 years 9 months ago
Issues of usability in hypermedia systems: a usability estimation questionnaire for hypermedia designers
Open Hypermedia have come up with several systems, which can provide services to software developers. This paper argues that usability is a critical attribute that should be taken...
Nikos Tsirakis, Nikos Karousos, George Gkotsis
ISORC
2003
IEEE
15 years 9 months ago
Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces
Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the commu...
Hermann Kopetz, Neeraj Suri
IROS
2006
IEEE
99views Robotics» more  IROS 2006»
15 years 10 months ago
Motion Pattern for the Landing Phase of a Vertical Jump for Humanoid Robots
Abstract— This paper deals with the generation of motion pattern for humanoid robots vertical jump. The study concentrates on the landing phase of the jump which is the most dema...
Sophie Sakka, Ee Sian Neo, Kazuhito Yokoi