Sciweavers

516 search results - page 59 / 104
» Developing Software in a Service-Oriented World
Sort
View
VL
2010
IEEE
196views Visual Languages» more  VL 2010»
14 years 10 months ago
Smart Objects for Intelligent Applications - ADK
SOFIA (Artemis project: http://www.sofiaproject.eu/) focuses on answering the challenge of creating smart environments and its goal is to make information that resides in the phys...
Jesus Fernandez Gomez-Pimpollo, Raul Otaolea
VSTTE
2005
Springer
15 years 5 months ago
It Is Time to Mechanize Programming Language Metatheory
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
Benjamin C. Pierce, Peter Sewell, Stephanie Weiric...
GECCO
2003
Springer
108views Optimization» more  GECCO 2003»
15 years 5 months ago
Evolutionary Testing of Flag Conditions
Evolutionary Testing (ET) has been shown to be very successful in testing real world applications [16]. However, it has been pointed out [11], that further research is necessary if...
André Baresel, Harmen Sthamer
COBUILD
1998
Springer
15 years 4 months ago
Roomware for Cooperative Buildings: Integrated Design of Architectural Spaces and Information Spaces
In this paper, we introduce the concepts of "cooperative buildings" and "roomware" and place them in the context of the integrated design of real, physical, res...
Norbert A. Streitz, Jörg Geißler, Torst...
IWEC
2008
15 years 1 months ago
A Surround Display Warp-Mesh Utility to Enhance Player Engagement
Surround displays are used in simulation, training, and other applications based on virtual worlds. A wide-view display engages the viewer's peripheral vision, providing a mor...
Charles Henden, Erik Champion, Ralf Mühlberge...