1078 search results - page 55 / 216 » Modelling and Verifying of e-Commerce Systems |
ISSS
2000
IEEE
15 years 4 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
IJCSA
2007
14 years 11 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
105
click to vote
ENTCS
2006
14 years 12 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
The goal of this work was to explore modeling techniques to improve bird species classification from audio samples. We first developed an unsupervised approach to obtain approxima...
103
click to vote
ISORC
2007
IEEE
15 years 6 months ago
2007
IEEE
Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded so...