1346 search results - page 230 / 270 » Alternating-time dynamic logic |
CONEXT
2009
ACM
15 years 3 months ago
2009
ACM
The lack of automation associated with network operations in general and network configuration management in particular, is widely recognized as a significant contributing factor ...
135
Voted
GLOBECOM
2008
IEEE
15 years 2 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
120
click to vote
HICSS
2008
IEEE
15 years 2 months ago
2008
IEEE
We use the OPA complex systems model of the power transmission system to investigate the effect of a series of different network upgrade scenarios on the long time dynamics and th...
114
Voted
AO
2007
15 years 2 months ago
2007
This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction o...
117
click to vote
BMCBI
2007
15 years 2 months ago
2007
Motivation: The quality of progressive sequence alignments strongly depends on the accuracy of the individual pairwise alignment steps since gaps that are introduced at one step c...