3555 search results - page 122 / 711 » Security-Critical System Development with Extended Use Cases |
122
click to vote
HYBRID
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
131
click to vote
INFOCOM
2002
IEEE
15 years 6 months ago
2002
IEEE
Abstract—Packet delay traces are important measurements for analyzing end-to-end performance and for designing traffic control algorithms in computer networks. Due to the fact t...
145
click to vote
IWC
2007
15 years 1 months ago
2007
In recent years, there has been great interest in scenario-based design and other forms of user-centred design. However, there are many design processes that, often for good reaso...
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "on-thefly" during their execution. We are devel...
100
click to vote
CASES
2008
ACM
15 years 3 months ago
2008
ACM
While soft processors are increasingly common in FPGAbased embedded systems, it remains a challenge to scale their performance. We propose extending soft processor instruction set...