2746 search results - page 477 / 550 » Case Study in Survivable Network System Analysis |
121
click to vote
CSE
2009
IEEE
15 years 5 months ago
2009
IEEE
Social networks and collaborative tagging systems are rapidly gaining popularity as primary means for sorting and sharing data: users tag their bookmarks in order to simplify infor...
140
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
ECIS
2004
15 years 2 months ago
2004
The methods and technologies providing advantages in controlling and managing intellectual property rights are currently associated under the term Digital Rights Management (DRM)....
125
click to vote
KDD
2008
ACM
16 years 1 months ago
2008
ACM
In this article we describe a visual-analytic tool for the interrogation of evolving interaction network data such as those found in social, bibliometric, WWW and biological appli...
125
click to vote
JSYML
2007
15 years 1 months ago
2007
We investigate the complexity of various combinatorial theorems about linear and partial orders, from the points of view of computability theory and reverse mathematics. We focus ...