6581 search results - page 26 / 1317 » Formalizing Design Patterns |
117
click to vote
DAC
2001
ACM
16 years 3 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
119
Voted
CHI
2006
ACM
16 years 2 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
100
click to vote
IFL
2000
Springer
15 years 6 months ago
2000
Springer
Sac is a functional array processing language particularly designed with numerical applications in mind. In this field the runtime performance of programs critically depends on the...
133
click to vote
ICFEM
2005
Springer
15 years 8 months ago
2005
Springer
We provide precise high-level models for eight fundamental service interaction patterns, together with schemes for their composition into complex service-based business process int...
193
click to vote
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
Pattern matching over event streams is increasingly being employed in many areas including financial services, RFIDbased inventory management, click stream analysis, and electroni...