53 search results - page 2 / 11 » Difficult Configurations - On the Complexity of LTrL |
ICALT
2005
IEEE
13 years 11 months ago
2005
IEEE
Recent developments in E-Learning systems aim at providing a better support for didactics-aware learning scenarios. Typically, in order to provide that support the number and comp...
ICRA
2009
IEEE
13 years 3 months ago
2009
IEEE
Color-based tracking methods have proved to be efficient for their robustness qualities. The drawback of such global representation of an object is the lack of information on its s...
EWSPT
2001
Springer
13 years 9 months ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...
ISSE
2006
13 years 5 months ago
2006
Providing and managing security for large networked systems is difficult because their size and complexity makes manual design and management nearly impossible. Current security m...
CCR
2004
13 years 5 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...