2004 search results - page 193 / 401 » Comparison of Model Checking Tools for Information Systems |
158
click to vote
ICAISC
2010
Springer
15 years 11 months ago
2010
Springer
As the number of handicapped people increases worldwide, Intelligent Wheelchairs (IW) are becoming the solution to enable a higher degree of independence for wheelchair users. In a...
134
click to vote
WSC
1998
15 years 7 months ago
1998
To begin using simulation in healthcare, one must first recognize the types of problems or decisions that can best be analyzed using simulation. Once a problem has been identified...
135
click to vote
ECIR
2007
Springer
15 years 7 months ago
2007
Springer
Information retrieval systems (IRSs) usually suffer from a low ability to recognize a same idea that is expressed in different forms. A way of improving these systems is to take ...
175
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: With the abundant information produced by microarray technology, various approaches have been proposed to infer transcriptional regulatory networks. However, few appro...
123
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
The foundations of support for any business process lie in understanding the needs of people, the stakeholders in business processes and support systems. Stakeholder analysis has b...