69 search results - page 7 / 14 » Heterogeneous Notations for Pure Formal Method Integration |
ICTAI
2003
IEEE
14 years 19 days ago
2003
IEEE
With the exploding volume of microarray experiments comes increasing interest in mining repositories of such data. Meaningfully combining results from varied experiments on an equ...
ICDE
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract— Existing semantic integration approaches to coordinating data do not meet the needs of real world scenarios which contain fine-grained relationships between data sourc...
SIGSOFT
2000
ACM
13 years 11 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
SEW
2005
IEEE
14 years 28 days ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
BMCBI
2007
13 years 7 months ago
2007
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...