5599 search results - page 54 / 1120 » Abstract State Services |
79
Voted
VLDB
2005
ACM
15 years 7 months ago
2005
ACM
A key challenge facing the designers of serviceoriented applications is ensuring that the autonomous services that make up these distributed applications always finish in consiste...
114
click to vote
GLOBECOM
2008
IEEE
15 years 8 months ago
2008
IEEE
—In the next-generation Internet architecture, more functionality will be placed in the data path of routers in the form of “services” and other packet processing features. T...
129
click to vote
TOPNOC
2010
14 years 8 months ago
2010
Abstract. State caching is a memory reduction technique used by model checkers to alleviate the state explosion problem. It has traditionally been coupled with a depth-first search...
111
click to vote
SIGUCCS
2000
ACM
15 years 6 months ago
2000
ACM
The User Services division of the Office of Technology Integration is the "safety net" for computer support at Florida State University (FSU). Areas of support include t...
101
click to vote
UAI
1993
15 years 2 months ago
1993
Based Abstraction and Categorization Eric J. Horvitz∗ and Adrian C. Klein Palo Alto Laboratory Rockwell International Science Center 444 High Street Palo Alto, CA 94301 We take ...