3898 search results - page 77 / 780 » Maintaining Component-Based Systems |
133
click to vote
ADT
2005
15 years 3 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
115
click to vote
EWC
2000
15 years 3 months ago
2000
: This paper discusses design families and design individuals. Phase space is introduced to complement state space. Phase transition as a generic method of generating design famili...
188
Voted
ICDE
2007
IEEE
16 years 4 months ago
2007
IEEE
Queries containing outer joins are common in data warehousing applications. Materialized outer-join views could greatly speed up many such queries but most database systems do not...
132
click to vote
IFIP12
2004
15 years 4 months ago
2004
: Managing knowledge by maintaining it according to dynamic context is among the basic abilities of a knowledge-based system. The two main
122
click to vote
PERVASIVE
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...