1655 search results - page 265 / 331 » State, Event, Time and Diagram in System Modeling |
150
click to vote
HICSS
2006
IEEE
16 years 5 days ago
2006
IEEE
The resource decisions in software project using cost models do not satisfy managerial decision, as it does not support trade-off analysis among resources. A Bayesian net approach...
185
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
167
click to vote
EUROMICRO
2009
IEEE
16 years 26 days ago
2009
IEEE
Abstract— Creating exercises for learners requires significant time. This is one reason, beside difficulties of discussing individualized tasks in a classroom setting, why often ...
175
click to vote
ET
2010
15 years 3 months ago
2010
This work justifies several quantum gate level fault models and discusses the causal error mechanisms thwarting correct function. A quantum adaptation of the classical test set gen...
172
click to vote
EXPERT
2010
15 years 3 months ago
2010
Human behavior recognition is one of the most important and challenging objectives performed by intelligent vision systems. Several issues must be faced in this domain ranging fro...