7080 search results - page 654 / 1416 » Designing High Integrity Systems Using Aspects |
150
click to vote
IJCAI
1997
15 years 8 months ago
1997
The creation of a complex web site is a thorny problem in user interface design. First, di erent visitors have distinct goals. Second, even a single visitor may have di erent need...
186
click to vote
SEKE
2005
Springer
16 years 8 days ago
2005
Springer
Software Engineering Environments (SEEs) are systems designed to support software development and maintenance, and also for supporting project control and management. They provide ...
191
Voted
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Achieving high performance under a peak temperature limit is a first-order concern for VLSI designers. This paper presents a new model of a thermally-managed system, where a stoch...
196
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
188
click to vote
USENIX
1994
15 years 8 months ago
1994
In this paper, we demonstrate a technique called active probing used to study TCP implementations. Active probing treats a TCP implementation as a black box, and uses a set of pro...