154 search results - page 18 / 31 » Dynamic Network of Concepts from Web-Publications |
B
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
GECCO
2004
Springer
15 years 3 months ago
2004
Springer
Nowadays, large distributed databases are commonplace. Client applications increasingly rely on accessing objects from multiple remote hosts. The Internet itself is a huge network ...
93
Voted
BIRTHDAY
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
TWC
2010
14 years 4 months ago
2010
Abstract--In this paper, we propose a novel spectrum occupancy model designed to generate accurate temporal and frequency behavior of various wireless transmissions. Our proposed w...
109
click to vote
HICSS
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...