2060 search results - page 310 / 412 » The Composition of Event-B Models |
159
click to vote
AAAI
1997
15 years 6 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...
151
click to vote
ALC
1997
15 years 6 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...
176
click to vote
LMO
2000
15 years 6 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...
125
click to vote
RBAC
1998
15 years 6 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...
141
click to vote
AAAI
1996
15 years 6 months ago
1996
In recent years, compositional modeling and selfexplanatory simulation techniques have simplified the process of building dynamic simulators of physical systems. Building steady-s...