752 search results - page 101 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
126
Voted
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
An important part of the Enterprise Resource Planning (ERP) system implementation process is the decision, which modules are implemented and in which order. We posit that the deci...
126
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents and discusses the use of an agent-oriented context-aware platform to support communities of practice (CoPs) in the health care domain. Our work is based on a s...
129
Voted
AMC
2007
15 years 3 months ago
2007
This paper presents an integrated framework for assessment and ranking of manufacturing systems based on management and organizational performance indicators. The integrated appro...
147
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Most existing algorithms for the inference of the structure of gene regulatory networks from gene expression data assume that the activity levels of transcription fact...
131
Voted
ICFEM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...