2558 search results - page 394 / 512 » Model Composition Contracts |
140
click to vote
DAGSTUHL
1998
15 years 5 months ago
1998
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
156
click to vote
AAAI
1997
15 years 5 months ago
1997
Our goal is to build knowledge-based systems capable of answering a wide variety of questions, including questions that are unanticipated when the knowledge base is built. For sys...
144
click to vote
ALC
1997
15 years 5 months ago
1997
In the context of the modular and incremental development of complex systems, viewed as interconnections of interacting components, new dimensions and new problems arise in the ca...
173
click to vote
LMO
2000
15 years 5 months ago
2000
The development of flexible and reusable concurrent object-oriented programming ions has suffered from the inherent problem that reusability and extensibility is limited due to pos...
124
Voted
RBAC
1998
15 years 5 months ago
1998
The intricacy of security administration is one of the most challenging problems in large networked systems. This problem is especially serious in the Web environment, which consi...