2746 search results - page 430 / 550 » Case Study in Survivable Network System Analysis |
150
click to vote
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
148
click to vote
WSC
2008
15 years 8 months ago
2008
Creation of an Outpatient Procedure Center (OPC) is a complicated endeavor, requiring a detailed understanding of the resources available and the procedures to be performed. Misca...
147
click to vote
FORTE
2010
15 years 7 months ago
2010
Abstract. Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries li...
156
click to vote
LREC
2008
15 years 7 months ago
2008
Evaluating the output of NLG systems is notoriously difficult, and performing assessments of text quality even more so. A range of automated and subject-based approaches to the ev...
138
click to vote
INTERACT
2007
15 years 7 months ago
2007
This paper discusses how semiotic engineering can support the formulation of problems and solutions involved in handling face-to-face (F2F) sociability models in computer-mediated ...