3948 search results - page 113 / 790 » Integration Workbench: Integrating Schema Integration Tools |
FDL
2005
IEEE
15 years 3 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
FM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
IJCAI
2003
14 years 11 months ago
2003
Opening up large amounts of loosely structured information for easy access and use is a complex problem. This paper describes two systems that address different aspects of the pro...
ESAW
2009
Springer
14 years 7 months ago
2009
Springer
009), which constitutes an abstraction of the various aspects of a MAS, generalizing the AGR approach and incorporating the institutional work of Searle (Searle 1995). This model i...
BMCBI
2006
14 years 10 months ago
2006
Background: Systematic genome comparisons are an important tool to reveal gene functions, pathogenic features, metabolic pathways and genome evolution in the era of post-genomics....