1078 search results - page 110 / 216 » Modelling and Verifying of e-Commerce Systems |
119
click to vote
CF
2004
ACM
15 years 9 months ago
2004
ACM
We introduce MaRS, a reconfigurable, parallel computing engine with special emphasis on scalability, lending itself to the computation-/data-intensive multimedia data processing a...
108
click to vote
ASYNC
2002
IEEE
15 years 9 months ago
2002
IEEE
Advanced clock-delayed1 and self-resetting domino circuits are becoming increasingly important design styles in aggressive synchronous as well as asynchronous design. Their design...
129
click to vote
RECOMB
2003
Springer
16 years 4 months ago
2003
Springer
We describe a novel method for detecting the domain structure of a protein from sequence information alone. The method is based on analyzing multiple sequence alignments that are ...
119
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
129
click to vote
PASTE
2004
ACM
15 years 9 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...