3954 search results - page 689 / 791 » Image-based Model Completion |
127
Voted
OTM
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...
132
Voted
SG
2005
Springer
15 years 8 months ago
2005
Springer
Parametric design systems model a design as a constrained collection of schemata. Designers work in such systems at two levels: definition of schemata and constraints; and search w...
116
click to vote
CASES
2004
ACM
15 years 7 months ago
2004
ACM
Application specific processors offer the potential of rapidly designed logic specifically constructed to meet the performance and area demands of the task at hand. Recently, t...
122
Voted
CIA
2004
Springer
15 years 7 months ago
2004
Springer
The concept of sequential two-sided search is widely used in partnerships formation applications in various domains. However, when considering the implementation of the method in M...
133
click to vote
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...