2004 search results - page 261 / 401 » Comparison of Model Checking Tools for Information Systems |
139
Voted
ECIR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The identification of reliable and interesting items on Internet becomes more and more difficult and time consuming. This paper is a position paper describing our intend...
141
click to vote
ICDCS
2010
IEEE
15 years 8 months ago
2010
IEEE
—Wireless Sensor Network (WSN) applications are typically event-driven. While the source codes of these applications may look simple, they are executed with a complicated concurr...
134
Voted
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Software vulnerabilities have been the main contributing factor to the Internet security problems such as fast spreading worms. Among these software vulnerabilities, memory corrup...
148
click to vote
APCCM
2009
15 years 5 months ago
2009
A requirements analysis step plays a significant role on the development of information systems, and in this step we various kinds of abstract models of the systems (called requir...
157
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: To interpret microarray experiments, several ontological analysis tools have been developed. However, current tools are limited to specific organisms. Results: We deve...