7694 search results - page 602 / 1539 » An Implementation of an Applicative File System |
166
click to vote
PUC
2002
15 years 6 months ago
2002
: Sentient Computing provides computers with perception so that they can react and provide assistance to user activities. Physical spaces are made sentient when they are wired with...
203
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
199
click to vote
ENTCS
2007
15 years 7 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
170
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
The seamless and flexible interconnection of the existing and emerging protocols and networks is essential to the success of the new generation mobile applications and services. Fo...
195
click to vote
NSDI
2008
15 years 9 months ago
2008
Critical network management applications increasingly demand fine-grained flow level measurements. However, current flow monitoring solutions are inadequate for many of these appl...