Sciweavers

3415 search results - page 51 / 683
» Physical Design Refinement: The
Sort
View
ICSE
2003
IEEE-ACM
14 years 10 months ago
Scaling Step-Wise Refinement
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...
Don S. Batory, Jacob Neal Sarvela, Axel Rauschmaye...
ACMDIS
2008
ACM
14 years 23 days ago
Sharing digital photographs in the home through physical mementos, souvenirs, and keepsakes
People now easily share digital photos outside the home via web publishing and gift-giving. Yet within the home, digital photos are hard to access and lack the physical affordance...
Michael Nunes, Saul Greenberg, Carman Neustaedter
SIGSOFT
2004
ACM
14 years 11 months ago
Reasoning about partial goal satisfaction for requirements and design engineering
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
Emmanuel Letier, Axel van Lamsweerde
ACMICEC
2006
ACM
120views ECommerce» more  ACMICEC 2006»
14 years 2 months ago
A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces
This paper presents a visual application in the framework of semantic-enabled e-marketplaces aimed at fully exploiting semantics of supply/demand descriptions in B2C and C2C e-mar...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
FLAIRS
2006
14 years 4 days ago
On Repairing Reasoning Reversals via Representational Refinements
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...
Alan Bundy, Fiona McNeill, Christopher Walton