8 search results - page 1 / 2 » An Event Algebra Based System for Verifying E-Commerce Trans... |
100
Voted
ACJ
2005
15 years 5 months ago
2005
155
click to vote
ICPADS
2007
IEEE
16 years 3 days ago
2007
IEEE
This paper proposes a new priority scheduling algorithm to maximise site revenue of session-based multi-tier Internet services in a multicluster environment. This research is part...
161
Voted
FMICS
2008
Springer
15 years 7 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
180
Voted
ISORC
2005
IEEE
15 years 11 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
133
click to vote
HASE
2008
IEEE
16 years 8 days ago
2008
IEEE
For complex services, logging is an integral part of many middleware aspects, especially, transactions and monitoring. In the event of a failure, the log allows us to deduce the c...