1078 search results - page 91 / 216 » Modelling and Verifying of e-Commerce Systems |
149
Voted
CIARP
2003
Springer
15 years 9 months ago
2003
Springer
Most people are used to signing documents and because of this, it is a trusted and natural method for user identity verification, reducing the cost of password maintenance and decr...
127
click to vote
IJCSA
2006
15 years 4 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
111
Voted
NECO
2008
15 years 4 months ago
2008
To perform automatic, unconscious inference, the human brain must solve the "binding problem" by correctly grouping properties with objects. Temporal binding models like...
138
click to vote
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract: This paper considers the task of trajectory stabilization for a fish-like robot by means of feedback. We use oscillatory control inputs and apply correction signals at t...