53390 search results - page 89 / 10678 » Computer Systems Analysis |
138
Voted
DBSEC
2009
15 years 3 months ago
2009
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...
110
Voted
IJFCS
2007
15 years 2 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
109
Voted
CODES
1998
IEEE
15 years 6 months ago
1998
IEEE
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
134
Voted
RSEISP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Rough sets have been applied to many areas where multiattribute data is needed to be analyzed to acquire knowledge for decision making. Web-based Support Systems (WSS) ar...
113
Voted
ISTA
2007
15 years 4 months ago
2007
: We present CaDiS - a new multimedia medical workstation, which helps early and precise diagnosis and treatment of cervical cancer. The workstation is developed with the close par...