Sciweavers

3514 search results - page 438 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
TASE
2008
IEEE
15 years 3 months ago
Modeling and Supervisory Control of Railway Networks Using Petri Nets
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...
Alessandro Giua, Carla Seatzu
142
Voted
SIAMAM
2011
14 years 10 months ago
Modeling and Design Optimization of a Resonant Optothermoacoustic Trace Gas Sensor
Trace gas sensors that are compact and portable are being deployed for use in a variety of applications including disease diagnosis via breath analysis, monitoring of atmospheric p...
Noemi Petra, John Zweck, Susan E. Minkoff, Anatoli...
BMCBI
2005
87views more  BMCBI 2005»
15 years 3 months ago
Efficient decoding algorithms for generalized hidden Markov model gene finders
Background: The Generalized Hidden Markov Model (GHMM) has proven a useful framework for the task of computational gene prediction in eukaryotic genomes, due to its flexibility an...
William H. Majoros, Mihaela Pertea, Arthur L. Delc...
COMPSAC
2002
IEEE
15 years 8 months ago
Quantitative Aspects of Requirements Evolution
Requirements Evolution is considered one of the most critical issues in developing computer-based systems. Despite the recognised role of requirements in Software Engineering, Req...
Stuart Anderson, Massimo Felici
WCRE
2002
IEEE
15 years 8 months ago
Generation of Architectural Documentation Using XML
Documentation generation is the process of creating the ocumentation at different levels of abstraction from the source code for a legacy system. The main goal is to help the stak...
Claudio Riva, Yaojin Yang