2746 search results - page 512 / 550 » Case Study in Survivable Network System Analysis |
138
click to vote
WOWMOM
2009
ACM
15 years 7 months ago
2009
ACM
Abstract— Spectrum-agile radios, also known as cognitive radios, have a great potential to improve spectrum utilization by enabling dynamic access to the spectrum. A key challeng...
104
click to vote
CHARME
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
128
click to vote
SIGCPR
2000
ACM
15 years 5 months ago
2000
ACM
This paper elucidates an emergent theory of organizational structure, process and leadership which the author believes will characterize the Internet based workplace of the future...
112
click to vote
HT
2004
ACM
15 years 6 months ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
128
click to vote
ICWE
2003
Springer
15 years 6 months ago
2003
Springer
This work presents a research on the methods and mechanisms necessary to bring the Information and Communication Technologies in the traditional classroom. This will be achieved by...