Sciweavers

615 search results - page 100 / 123
» The Amulet User Interface Development Environment
Sort
View
ASE
2004
137views more  ASE 2004»
13 years 9 months ago
Automatically Restructuring Programs for the Web
The construction of interactive server-side Web applications differs substantially from the construction of traditional interactive programs. In contrast, existing Web programming...
Jacob Matthews, Robert Bruce Findler, Paul T. Grau...
MHCI
2009
Springer
14 years 4 months ago
Tacticycle: a tactile display for supporting tourists on a bicycle trip
Cycling is a common leisure time sports in touristic regions. For us it was the question how tourists actually find their paths in the area and what kind of navigation aids might...
Benjamin Poppinga, Martin Pielot, Susanne Boll
ECLIPSE
2005
ACM
13 years 11 months ago
ConcernMapper: simple view-based separation of scattered concerns
We introduce ConcernMapper, an Eclipse plug-in for experimenting with techniques for advanced separation of concerns. ConcernMapper supports development and maintenance tasks invo...
Martin P. Robillard, Frédéric Weigan...
JIIS
2008
104views more  JIIS 2008»
13 years 9 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato
CAD
2000
Springer
13 years 9 months ago
The Enterprise-Web portal for life-cycle support
As we enter the new millennium, the approach to product development is evolving rapidly. Companies are in the process of creating a distributed design and manufacturing environmen...
Mohsen Rezayat