1078 search results - page 105 / 216 » Modelling and Verifying of e-Commerce Systems |
129
click to vote
JAR
2008
15 years 4 months ago
2008
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
135
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
117
click to vote
FGCN
2007
IEEE
15 years 10 months ago
2007
IEEE
Volatile data, being vital to digital investigation, have become part of the standard items targeted in the course of live response to a computer system. In traditional computer f...
130
click to vote
RTCSA
2005
IEEE
15 years 10 months ago
2005
IEEE
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
151
click to vote
WIOPT
2005
IEEE
15 years 10 months ago
2005
IEEE
Using decentralized reputation systems is a promising approach to ensuring cooperation and fairness in Mobile Ad-Hoc Networks. However, they are vulnerable to liars and robustness...