1078 search results - page 64 / 216 » Modelling and Verifying of e-Commerce Systems |
OOPSLA
2000
Springer
15 years 3 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...
LPAR
2005
Springer
15 years 5 months ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
129
click to vote
SDM
2012
SIAM
13 years 2 months ago
2012
SIAM
A Cyber-Physical System (CPS) integrates physical (i.e., sensor) devices with cyber (i.e., informational) components to form a situation-aware system that responds intelligently t...
114
click to vote
ECBS
2003
IEEE
15 years 5 months ago
2003
IEEE
Heterogeneous embedded systems, where configurable or application specific hardware devices (FPGAs and ASICs) are used alongside traditional processors, are becoming more and more...
CAISE
2010
Springer
15 years 29 days ago
2010
Springer
For enterprises it has become crucial to check compliance of their business processes with certain rules such as medical guidelines or financial regulations. When automating compli...