Sciweavers

1709 search results - page 237 / 342
» Precise Modeling of Design Patterns
Sort
View
DATE
2008
IEEE
111views Hardware» more  DATE 2008»
15 years 8 months ago
A Formal Approach To The Protocol Converter Problem
In the absence of a single module interface standard, integration of pre-designed modules in System-on-Chip design often requires the use of protocol converters. Existing approach...
Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Rames...
IEEESCC
2006
IEEE
15 years 7 months ago
Ontology Reconciliation for Service-Oriented Computing
Service-oriented computing (SOC) is viewed as the computing paradigm of the near future, allowing for the dynamic interaction of services provided by distributed business partners...
Jingshan Huang, Jiangbo Dang, Michael N. Huhns
INFOCOM
2005
IEEE
15 years 7 months ago
On static reachability analysis of IP networks
The primary purpose of a network is to provide reachability between applications running on end hosts. In this paper, we describe how to compute the reachability a network provide...
Geoffrey G. Xie, Jibin Zhan, David A. Maltz, Hui Z...
AIME
2005
Springer
15 years 7 months ago
MHB - A Many-Headed Bridge Between Informal and Formal Guideline Representations
Clinical guidelines are becoming more and more important as a means to improve the quality of care by supporting medical staff. Modelling guidelines in a computer-processable form ...
Andreas Seyfang, Silvia Miksch, Cristina Polo-Cond...
KCAP
2003
ACM
15 years 7 months ago
A generic library of problem solving methods for scheduling applications
In this paper we describe a generic library of problemsolving methods (PSMs) for scheduling applications. Although, some attempts have been made in the past at developing librarie...
Dnyanesh G. Rajpathak, Enrico Motta, Zdenek Zdr&aa...