Sciweavers

826 search results - page 36 / 166
» A Pragmatic Approach to Formalizing Object-Oriented Modeling...
Sort
View
TSMC
2002
114views more  TSMC 2002»
13 years 7 months ago
Exploiting design information to derive object distribution models
Object-orientation and distributed systems are quickly becoming norms for new system development, generating renewed interest in distribution schemes traditionally directed at rela...
Sandeep Purao, Hemant K. Jain, Derek L. Nazareth
FDBS
2001
108views more  FDBS 2001»
13 years 9 months ago
Combining a Formal with an Example-driven Approach for Data Integration
Integrating data sources is a general problem in many scenarios. The main problem is the heterogeneity between data sources which were created and developed separately. In the lit...
Ingolf Geist, Kai-Uwe Sattler, Ingo Schmitt
HICSS
2008
IEEE
133views Biometrics» more  HICSS 2008»
14 years 2 months ago
Towards a Belief-Theoretic Model for Collaborative Conceptual Model Development
Merging and integrating different conceptual models which have been developed by domain experts and analysts with dissimilar perspectives on the same issue has been the subject of...
Ebrahim Bagheri, Ali A. Ghorbani
TACAS
2012
Springer
288views Algorithms» more  TACAS 2012»
12 years 3 months ago
Reduction-Based Formal Analysis of BGP Instances
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gu...
FDL
2006
IEEE
14 years 2 months ago
Formalizing TLM with Communicating State Machines
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
Bernhard Niemann, Christian Haubelt