2016 search results - page 365 / 404 » Some observations on HC-128 |
FOSSACS
2005
Springer
15 years 5 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
106
click to vote
MKM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and...
OTM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper targets with applications running on mobile devices and using context informations. Following previous studies from other authors, we extend the notion of cont...
PAM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Round trip times (RTTs) play an important role in Internet measurements. In this paper, we explore some of the ways in which routing policies impact RTTs. In particular, ...
100
click to vote
WOSS
2004
ACM
15 years 5 months ago
2004
ACM
Complex distributed Internet services form the basis not only of e-commerce but increasingly of mission-critical networkbased applications. What is new is that the workload and in...