6581 search results - page 172 / 1317 » Formalizing Design Patterns |
149
click to vote
ICIW
2007
IEEE
15 years 11 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...
128
click to vote
ISMVL
2007
IEEE
15 years 11 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...
126
click to vote
FMICS
2007
Springer
15 years 11 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 ...
129
click to vote
INFOCOM
2005
IEEE
15 years 10 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...
129
Voted
KBSE
2005
IEEE
15 years 10 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...