Sciweavers

2133 search results - page 44 / 427
» Using the CALANDA Time Series Management System
Sort
View
APSEC
2004
IEEE
14 years 13 days ago
A Project Management Support Tool using Communication for Agile Software Development
Recently, agile software development methods are popular because software should be developed in a short period. However, conventional project management techniques are often not ...
Noriko Hanakawa, Kimiharu Okura
ICAC
2006
IEEE
14 years 2 months ago
Discovering Likely Invariants of Distributed Transaction Systems for Autonomic System Management
Large amount of monitoring data can be collected from distributed systems as the observables to analyze system behaviors. However, without reasonable models to characterize systems...
Guofei Jiang, Haifeng Chen, Kenji Yoshihira
IWIA
2006
IEEE
14 years 2 months ago
Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets
The commonly used flaw hypothesis model (FHM) for performing penetration tests provides only limited, highlevel guidance for the derivation of actual penetration attempts. In thi...
Ole Martin Dahl, Stephen D. Wolthusen
ICHL
2009
165views Education» more  ICHL 2009»
13 years 6 months ago
Learning Knowledge Management Concepts via the Use of a Scenario Building Tool on an E-Learning Platform
As e-learning or blended learning is more and more popular these days, but with the lack of certain tools, most of the e-learning objects are just simple power point files, pdf fil...
Teresa B. Y. Liew, Eric Tsui, Patrick S. W. Fong, ...
ATVA
2005
Springer
111views Hardware» more  ATVA 2005»
14 years 2 months ago
Model Checking Prioritized Timed Automata
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Y...