3256 search results - page 450 / 652 » Applications of Formal Methods to System Design and Verifica... |
140
click to vote
ETRA
2006
ACM
15 years 11 months ago
2006
ACM
Eye tracking has long held the promise of being a useful methodology for human computer interaction. However, a number of barriers have stood in the way of the integration of eye ...
150
click to vote
LCTRTS
2007
Springer
15 years 11 months ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
142
click to vote
DAC
1995
ACM
15 years 9 months ago
1995
ACM
Abstract— Many asynchronous designs are naturally specified and implemented hierarchically as an interconnection of separate asynchronous modules that operate concurrently and c...
148
click to vote
ACMICEC
2006
ACM
15 years 11 months ago
2006
ACM
This paper addresses a problem in supply chain management that how scarce resources can be efficiently allocated among competing interests. We present a formal model of allocation...
141
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...