29143 search results - page 462 / 5829 » A Sortation System Model |
193
click to vote
ICCD
2005
IEEE
16 years 13 days ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
171
click to vote
KI
2002
Springer
15 years 6 months ago
2002
Springer
This article summarizes research on several interrelated general issues that can arise in the design and development of user modeling systems: the learning and subsequent adaptati...
158
click to vote
HOTOS
1999
IEEE
15 years 11 months ago
1999
IEEE
Most modern I/O systems treat each file access independently. However, events in a computer system are driven by programs. Thus, accesses to files occur in consistent patterns and...
191
click to vote
HT
2004
ACM
16 years 7 days ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
204
Voted
WETICE
2003
IEEE
16 years 2 days ago
2003
IEEE
The World Wide Web encourages widely-distributed, open, decentralised systems that span multiple administrative domains. Recent research has turned to trust management [4] as a fr...