6581 search results - page 380 / 1317 » Formalizing Design Patterns |
131
Voted
FASE
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
132
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
Even though the design of business processes most often has to consolidate the knowledge of several process stakeholders, this fact is utilized only to a limited extent by existing...
159
Voted
DLOG
2003
15 years 6 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
152
click to vote
JUCS
2002
15 years 4 months ago
2002
: Design for All is an important challenge for hypermedia engineering. We analyze this challenge and show that it is necessary to find a way of describing partially designed hyperm...
160
Voted
TCOM
2010
15 years 3 months ago
2010
In this paper we formally analyze the interleaver and code design for QAM-based BICM transmissions using the binary reflected Gray code. We develop analytical bounds on the bit e...