30240 search results - page 847 / 6048 » Robust System Design |
233
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
204
click to vote
ICECCS
2005
IEEE
16 years 1 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
179
click to vote
INFOCOM
1997
IEEE
15 years 12 months ago
1997
IEEE
This paper describes the design and implementation of a gigabit ATM switching system supporting link rates from 150 Mb/s to 2.4 Gb/s, with a uniquely e cient multicastswitch archi...
198
click to vote
CODES
1996
IEEE
15 years 11 months ago
1996
IEEE
The TaSCA environment for hardware/software co-design of control dominated systems implemented on a single chip includes a novel approach to the system exploration phase for the e...
201
click to vote
EGOV
2006
Springer
15 years 9 months ago
2006
Springer
Improving the usability of government portal sites requires a focus shift from system to user in both research and design. Empirical studies into user behavior are needed to suppor...