6014 search results - page 153 / 1203 » Parametric Analysis of Computer Systems |
150
click to vote
CODES
1998
IEEE
15 years 10 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...
283
click to vote
JUCS
2002
15 years 6 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
171
click to vote
CEC
2007
IEEE
16 years 22 days ago
2007
IEEE
—The paper extends the classical Ant Systems by considering non-uniform deposition by the ants, while constructing pheromone trails. A deterministic solution to the ant system dy...
176
click to vote
RSEISP
2007
Springer
16 years 15 days 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...
165
click to vote
ISTA
2007
15 years 7 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...