6581 search results - page 172 / 1317 » Formalizing Design Patterns |
135
Voted
ICIW
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
113
Voted
ISMVL
2007
IEEE
15 years 9 months ago
2007
IEEE
Paraconsistent logic is the study of contradictory yet non-trivial theories. One of the best-known approaches to designing useful paraconsistent logics is da Costa’s approach, w...
116
Voted
FMICS
2007
Springer
15 years 9 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
117
Voted
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper unifies two independently developed formalisms for path-vector routing protocols such as the Border Gateway Protocol (BGP), the standard inter-domain routing protoc...
114
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...