Sciweavers

1747 search results - page 62 / 350
» A Comparative Analysis of Architecture Frameworks
Sort
View
TPHOL
2007
IEEE
16 years 16 days ago
Building Formal Method Tools in the Isabelle/Isar Framework
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
Makarius Wenzel, Burkhart Wolff
ER
2007
Springer
108views Database» more  ER 2007»
16 years 13 days ago
A Framework Supporting the Utilization of Domain Knowledge Embedded in Software
Software systems embed in them knowledge about the domain in which they operate. However, this knowledge is “latent”. Making such knowledge accessible could be of great value ...
Eran Rubin, Yair Wand
SDM
2009
SIAM
217views Data Mining» more  SDM 2009»
16 years 3 months ago
A Framework for Exploring Categorical Data.
In this paper, we present a framework for categorical data analysis which allows such data sets to be explored using a rich set of techniques that are only applicable to continuou...
Shyam Boriah, Varun Chandola, Vipin Kumar
SOSE
2008
IEEE
16 years 20 days ago
A Framework for Agent-Based Service-Oriented Modelling
Service-oriented computing is becoming a direction of computing technology. For realising the mission of serviceoriented computing, service-oriented architecture has been proposed...
Zhi Jin, Hong Zhu
ICN
2001
Springer
15 years 10 months ago
A System Level Framework for Streaming 3-D Meshes over Packet Networks
In this paper, a system-level framework is proposed for 3-D graphics streaming. The proposed architecture is scalable with respect to the variations in both bandwidth and channel e...
Ghassan Al-Regib, Yucel Altunbasak