2838 search results - page 226 / 568 » Verifying Controlled Components |
91
Voted
NDSS
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper we analyze a new class of pulsing denialof-service (PDoS) attacks that could seriously degrade the throughput of TCP flows. During a PDoS attack, periodic pulses of...
ICECCS
1999
IEEE
15 years 5 months ago
1999
IEEE
Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In s...
126
click to vote
ICCAD
1994
IEEE
15 years 4 months ago
1994
IEEE
Embedded computer systems are characterized by the presence of a dedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical com...
101
Voted
DAGSTUHL
2003
15 years 2 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
115
click to vote
COMPSAC
2007
IEEE
15 years 28 days ago
2007
IEEE
Lose sight of the existence of system crosscutting concerns, e.g. safety and quality etc, often causes the system hard to maintain and evolve according to the changing environment...