7274 search results - page 22 / 1455 » Abstractions for network update |
PERCOM
2007
ACM
14 years 7 months ago
2007
ACM
In this paper we take a look at the start of the art in smart environments research. The survey is motivated by the recent dramatic increase of activity in the field, and summariz...
JELIA
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...
DAGSTUHL
2007
13 years 9 months ago
2007
Abstract. This paper makes a foundational contribution to the discussions on the very nature of belief change operations. Belief revision and pdate are investigated within an abstr...
MOBIHOC
2008
ACM
14 years 7 months ago
2008
ACM
ICCCN
2008
IEEE
14 years 2 months ago
2008
IEEE
: Recent studies on inter-domain DWDM networks used on topology abstraction for state summarization, i.e., transforming a physical topology to a virtual mesh, tree, or star network...