6581 search results - page 311 / 1317 » Formalizing Design Patterns |
156
click to vote
ICWS
2010
IEEE
15 years 2 months ago
2010
IEEE
A service-oriented application is composed of multiple web services to fulfill complex functionality that cannot be provided by individual web service. The combination of services ...
123
click to vote
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
145
click to vote
DFT
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a procedure for Synthesis of LINear test pattern Generators called SLING. SLING can synthesize linear test pattern generators that satisfy constraints on area,...
124
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Presently, almost all of the watermarking algorithms resistant to geometric attacks are dependent on the synchronization. In this paper, a geometrically robust watermarking scheme...
137
click to vote
DOLAP
2006
ACM
15 years 10 months ago
2006
ACM
Mining data warehouses is still an open problem as few approaches really take the specificities of this framework into account (e.g. multidimensionality, hierarchies, historized ...