4460 search results - page 402 / 892 » Formal methods for interactive systems |
216
click to vote
DDECS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
144
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Updating an operational system is often complex and awkward. In this article, we will explain how the concept of multi-layer interface could facilitate the evolution of operationa...
212
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
ld is a prototype IR user interface. It implements visualizations of an abstract information space – fulltext. The presentation demonstrates a visual user interface for the prob...
165
click to vote
INTERACT
2003
15 years 8 months ago
2003
: Flying Message Service (FMS) is a design project promoting community-based messaging in public spaces in the city. We have built a system that enables people to attach electronic...
189
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
This paper reviews the development of an interactive evolutionary design system (IEDS) for conceptual design, which integrates an agent based ‘build and evolve’ approach with ...