4770 search results - page 607 / 954 » Flexible Type Analysis |
184
click to vote
CIA
2004
Springer
16 years 5 days ago
2004
Springer
The concept of sequential two-sided search is widely used in partnerships formation applications in various domains. However, when considering the implementation of the method in M...
173
click to vote
TACAS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
204
click to vote
DSN
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper combines an analysis of data on security vulnerabilities (published in Bugtraq database) and a focused source-code examination to develop a finite state machine (FSM) m...
191
click to vote
DOCENG
2010
ACM
15 years 7 months ago
2010
ACM
Filling out document forms distributed by email or hosted on the Web is still problematic and usually requires a printer and scanner. Users commonly download and print forms, fill...
195
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Image analysis is an essential component in many biological experiments that study gene expression, cell cycle progression, and protein localization. A protocol for tr...