3239 search results - page 534 / 648 » A Logical Process Calculus |
146
click to vote
ISVLSI
2005
IEEE
15 years 6 months ago
2005
IEEE
high NRE cost. Therefore, general purpose programmable processors using software to perform various functions become more attractive since programmability can simplify system devel...
94
Voted
HICSS
1996
IEEE
15 years 5 months ago
1996
IEEE
In this paper, we present a document model which integrates the logical structure and hypertext link structure of hyperdocuments in order to manage structured documents with hyper...
137
click to vote
ECOWS
2007
Springer
15 years 4 months ago
2007
Springer
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
133
Voted
JAIR
2006
15 years 22 days ago
2006
A decision process in which rewards depend on history rather than merely on the current state is called a decision process with non-Markovian rewards (NMRDP). In decisiontheoretic...
119
Voted
JCM
2010
14 years 11 months ago
2010
— Explicit congestion control schemes use router feedback to overcome limitations of the standard mechanisms of the Transmission Control Protocol (TCP). These approaches require ...