626 search results - page 28 / 126 » When Can Formal Methods Make a Real Difference |
ICDE
2007
IEEE
14 years 10 months ago
2007
IEEE
Different people or objects may share identical names in the real world, which causes confusion in many applications. It is a nontrivial task to distinguish those objects, especia...
SOFSEM
2009
Springer
14 years 5 months ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
WECWIS
2005
IEEE
14 years 2 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
BMCBI
2006
13 years 8 months ago
2006
Background: Low-level processing and normalization of microarray data are most important steps in microarray analysis, which have profound impact on downstream analysis. Multiple ...
SEKE
2010
Springer
13 years 6 months ago
2010
Springer
It is well known that software evolution is an inescapable activity in the software lifecycle. In order to prevent the negative effects of this activity (decreased quality, increa...