Sciweavers

6348 search results - page 974 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
COMSWARE
2006
IEEE
16 years 20 days ago
Case study on the use of SDL for specifying an IETF micro mobility protocol
—Recent protocols are become increasingly complex, and lead to further level of complexity when used in combination, often resulting in ambiguous behavior. This paper, starting f...
Telemaco Melia, Amardeo Sarma, Rui L. Aguiar, Diet...
ISSRE
2006
IEEE
16 years 18 days ago
A Systematic Approach to Generate Inputs to Test UML Design Models
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. Fran...
MSR
2006
ACM
16 years 16 days ago
Enriching revision history with interactions
Revision history provides a rich source of information to improve the understanding of changes made to programs, but it yields only limited insight into how these changes occurred...
Chris Parnin, Carsten Görg, Spencer Rugaber
UIST
2006
ACM
16 years 16 days ago
Soap: a pointing device that works in mid-air
Soap is a pointing device based on hardware found in a mouse, yet works in mid-air. Soap consists of an optical sensor device moving freely inside a hull made of fabric. As the us...
Patrick Baudisch, Mike Sinclair, Andrew Wilson
FSTTCS
2005
Springer
16 years 3 days ago
The MSO Theory of Connectedly Communicating Processes
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
P. Madhusudan, P. S. Thiagarajan, Shaofa Yang