4109 search results - page 384 / 822 » User Interface Software Tools |
184
click to vote
FM
1998
Springer
15 years 11 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
169
click to vote
SRDS
1997
IEEE
15 years 11 months ago
1997
IEEE
Hazard situations in safety-critical systems are typically complex, so there is a need for means to detect complex hazards and react in a timely and meaningful way. This paper add...
146
click to vote
IUI
2006
ACM
16 years 22 days ago
2006
ACM
Email-based activity management systems promise to give users better tools for managing increasing volumes of email, by organizing email according to a user’s activities. Curren...
267
click to vote
TASE
2011
IEEE
15 years 1 months ago
2011
IEEE
—In this paper, we present a new sketch-based system — KnitSketch, to improve the efficiency of process planning for knitting garments at an early design stage. The KnitSketch...
147
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
In this paper, we present a tool to increase the efficiency of public transport buses inside the metropolitan city of Madras (Chennai) in South India. The amount of people droppin...