2838 search results - page 374 / 568 » Verifying Controlled Components |
96
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
Contract and rights management – and thus property rights protection – has gained increasing importance as a quality standard in brokerage and electronic commerce environments...
95
Voted
ICDM
2003
IEEE
15 years 6 months ago
2003
IEEE
A data set can be clustered in many ways depending on the clustering algorithm employed, parameter settings used and other factors. Can multiple clusterings be combined so that th...
122
click to vote
WORDS
2003
IEEE
15 years 6 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
122
Voted
ARTQOS
2003
Springer
15 years 5 months ago
2003
Springer
A crucial factor for real-time (interactive) services is the end-to-end delay experienced by the application. The contribution resulting from the queuing delay induced by the netwo...
127
Voted
FMCO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...