1078 search results - page 109 / 216 » Modelling and Verifying of e-Commerce Systems |
130
click to vote
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
116
click to vote
CIA
2003
Springer
15 years 9 months ago
2003
Springer
A multi-agent system is a network of software agents that cooperate to solve problems. In open multi-agent systems, the agents that need resources provided by other agents are not ...
145
click to vote
CLEAR
2006
Springer
15 years 8 months ago
2006
Springer
The evaluation results of a system for tracking humans in surveillance videos are presented. Moving blobs are detected based on adaptive background modeling. A shape based multi-vi...
137
click to vote
IH
1999
Springer
15 years 8 months ago
1999
Springer
This paper summarizes considerations and rationales for the design of a watermark detector. In particular, we relate watermark detection to the problem of signal detection in the p...
145
click to vote
COMSWARE
2006
IEEE
15 years 8 months ago
2006
IEEE
The performance of the protocol stack implementation of an operating system can greatly impact the performance of networked applications that run on it. In this paper, we present a...