6581 search results - page 483 / 1317 » Formalizing Design Patterns |
169
click to vote
ICEIS
2002
IEEE
15 years 11 months ago
2002
IEEE
: In the creation of groupware systems, a good design of communication mechanisms, required by the group in order to carry out its work, is essential, since there are many other de...
184
click to vote
PDPTA
2000
15 years 7 months ago
2000
Developers of programs for distributed systems spend considerable time designing solutions to various complex decision-making problems. The work described in this paper applies th...
187
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
198
click to vote
IIE
2007
15 years 6 months ago
2007
The paper addresses the problem of fragmentation of the communities involved in the design of digital media for education. It draws on the experience gained at the Educational Tec...
198
click to vote
TCAD
2008
15 years 6 months ago
2008
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...