3645 search results - page 122 / 729 » Implementing mapping composition |
124
Voted
ICCAD
2003
IEEE
15 years 11 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
154
click to vote
TES
2001
Springer
15 years 7 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
121
Voted
ICWS
2007
IEEE
15 years 4 months ago
2007
IEEE
Service Oriented Architectures (SOAs) are constantly gaining ground for the provision of business to business as well as user-centric services, mainly in the form of Web Services ...
118
Voted
LOBJET
2006
15 years 2 months ago
2006
Many object-oriented software applications contain implicit business rules. Although there exist many approaches that advocate the separation of rules, the rules' connections ...
94
Voted
ICALT
2005
IEEE
15 years 8 months ago
2005
IEEE
Flexible and active education calls for a comprehensive restructuring of the traditional university course format. Such restructuring can be done in a natural and coherent way by ...