4341 search results - page 446 / 869 » Quantitative Model checking |
180
click to vote
ICCSA
2003
Springer
16 years 2 days ago
2003
Springer
It is necessary to have the precise definition of available performance of high availability systems that can represent the availability and performability of the systems altogethe...
182
click to vote
ISCC
2002
IEEE
15 years 11 months ago
2002
IEEE
With reference to the General Packet Radio Service (GPRS), an extension of the Global System Mobile Communication (GSM) addressing packetoriented traffic, this paper contributes t...
214
Voted
IWSAS
2001
Springer
15 years 11 months ago
2001
Springer
We seek to construct autonomous adaptive survivable systems that use active trust management to adapt their own behavior in the face of compromises in the computational environment...
188
Voted
MASA
2001
Springer
15 years 11 months ago
2001
Springer
The paper presents a multi-agent system that comprises a society of self-interested agents that use argumentation-based negotiation to reach agreements regarding cooperation and go...
242
click to vote
WSC
2007
15 years 9 months ago
2007
The estimation of the impact on performance in business process (BP) by introducing an information system (IS) is an important practical problem in investment appraisal. This pape...