3799 search results - page 238 / 760 » An Engineering Approach to Formal Methods |
185
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Genes interact with each other as basic building blocks of life, forming a complicated network. The relationship between groups of genes with different functions can b...
172
Voted
ACL
2007
15 years 7 months ago
2007
This paper addresses the issue of text normalization, an important yet often overlooked problem in natural language processing. By text normalization, we mean converting ‘inform...
150
click to vote
TACAS
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
159
click to vote
MSO
2003
15 years 7 months ago
2003
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
160
Voted
FIW
2007
15 years 7 months ago
2007
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...