137 search results - page 6 / 28 » Model for unistroke writing time |
ARTS
1997
Springer
13 years 11 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
BROADNETS
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— This paper provides a concise modeling and performance evaluation of the iSCSI storage area network (SAN) architecture and protocol. SANs play a key role in business co...
VLDB
1992
ACM
13 years 11 months ago
1992
ACM
We propose a transaction model that provides a framework for transactions to cooperate without sacrificing serializability as a notion of correctness. Cooperation does not depend ...
AUSAI
2011
Springer
12 years 7 months ago
2011
Springer
The amount of user generated content on the Web is growing and identifying high quality content in a timely manner has become a problem. Many forums rely on its users to manually r...
ICMCS
1996
IEEE
13 years 12 months ago
1996
IEEE
The most notable characteristic of continuous-media data is the existence of timing constraints. To handle such data appropriately, some system support for resource management and...