2004 search results - page 375 / 401 » Comparison of Model Checking Tools for Information Systems |
MIE
2008
15 years 1 months ago
2008
The current Swedish regulations for medical alerts in health records were designed for paper records. Suggestions for computerized systems are now being investigated. A proposed mo...
BMCBI
2008
14 years 12 months ago
2008
Background: The epidermal physiology results from a complex regulated homeostasis of keratinocyte proliferation, differentiation and death and is tightly regulated by a specific p...
112
click to vote
ATAL
2010
Springer
15 years 27 days ago
2010
Springer
Minimax-regret preference elicitation allows intelligent decisions to be made on behalf of people facing risky choices. Standard gamble queries, a vital tool in this type of prefe...
86
Voted
CHI
2005
ACM
16 years 5 days ago
2005
ACM
This paper introduces a new framework for thinking about tangible interfaces in education, with specific focus on problem domains. Manipulatives are physical objects specifically ...
109
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...