Sciweavers

12670 search results - page 112 / 2534
» Requirements Modeling
Sort
View
NIPS
2007
15 years 4 months ago
Collective Inference on Markov Models for Modeling Bird Migration
We investigate a family of inference problems on Markov models, where many sample paths are drawn from a Markov chain and partial information is revealed to an observer who attemp...
Daniel Sheldon, M. A. Saleh Elmohamed, Dexter Koze...
115
Voted
GCC
2007
Springer
15 years 6 months ago
A Temporal Logic Based Grid Workflow Model and Scheduling Scheme
Recently, grid computing has become a popular technology for large-scale scientific or business computing. Grid workflow system can enhance the flexibility and efficiency of the g...
Yu-E Zheng, Huadong Ma, Lejun Zhang
137
Voted
EKNOW
2009
15 years 10 days ago
Visual Middle-Out Modeling of Problem Spaces
Modeling is a complex and central activity in many domains. Domain experts and designers usually work by drawing and create models from the middle-out; however, visual and middle-...
Andrea Valente
138
Voted
APNOMS
2006
Springer
15 years 6 months ago
Hybrid Inference Architecture and Model for Self-healing System
Distributed computing systems are continuously increasing in complexity and cost of managing, and system management tasks require significantly higher levels of autonomic managemen...
Giljong Yoo, Jeongmin Park, Eunseok Lee
100
Voted
CCS
2007
ACM
15 years 8 months ago
Administration in role-based access control
Administration of large-scale RBAC systems is a challenging open problem. We propose a principled approach in designing and analyzing administrative models for RBAC. We identify s...
Ninghui Li, Ziqing Mao