Sciweavers

6884 search results - page 173 / 1377
» The macro-structure of use of help
Sort
View
FAC
2000
114views more  FAC 2000»
13 years 9 months ago
Representational Reasoning and Verification
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
Gavin J. Doherty, José Creissac Campos, Mic...
IWC
2000
94views more  IWC 2000»
13 years 9 months ago
Design and evaluation of the alignment stick
Object alignment is one of the basic operations in drawing programs. Current solutions provide mainly three ways for carrying out this operation: either by issuing an alignment co...
Roope Raisamo, Kari-Jouko Räihä
JNCA
2007
128views more  JNCA 2007»
13 years 8 months ago
Embedded web server-based home appliance networks
Powerful microcontrollers are used as parts of most home and office appliances of today. Integrating web servers to these intelligent devices will aid in controlling them over th...
M. Can Filibeli, Öznur Özkasap, M. Reha ...
IJOSSP
2010
128views more  IJOSSP 2010»
13 years 4 months ago
Repositories with Public Data about Software Development
Empirical research on software development based on data obtained from project repositories and code forges is increasingly gaining attention in the software engineering research ...
Jesús M. González-Barahona, Daniel I...
JDCTA
2010
226views more  JDCTA 2010»
13 years 4 months ago
An Automatic-Pre-processing Method For Mammographic Images
Screening mammography represents the technique adopted to detect breast cancer at an early stage. However the presence of artifacts and pectoral muscle can disturb the detection o...
Ali Cherif Chaabani, Atef Boujelben, Adel Mahfoudh...