7766 search results - page 1184 / 1554 » Testing Nondeterminate Systems |
152
click to vote
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
Currently there are no Concurrent Versioning Systems (CVS) designed to properly support agile software development. The existing CVS lacks user friendliness and it requires users ...
135
click to vote
MOBICOM
2010
ACM
15 years 4 months ago
2010
ACM
Short Messaging Service (SMS) based mobile information services have become increasingly common around the world, especially in emerging regions among users with low-end mobile de...
153
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Cellular metabolism is one of the most investigated system of biological interactions. While the topological nature of individual reactions and pathways in the network...
139
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: The Clinical E-Science Framework (CLEF) project has built a system to extract clinically significant information from the textual component of medical records in order...
185
click to vote
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...