3706 search results - page 583 / 742 » KtSeqC: System Description |
163
click to vote
ERCIMDL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper describes CAP7, a system for searching and browsing in distributed document (metadata) collections. The system architecture is similar to Harvest, comprising g...
177
click to vote
ICFEM
1998
Springer
15 years 10 months ago
1998
Springer
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
200
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
170
click to vote
ISSS
1995
IEEE
15 years 10 months ago
1995
IEEE
higher levels of abstraction, due to the still increasing design complexities that can be expected in the near future. Behavioral synthesis can play a key role in this prospect, as...
137
click to vote
ECML
1991
Springer
15 years 10 months ago
1991
Springer
This paper presents an approach to domain modeling and knowledge acquisition that consists of a gradual and goal-driven improvement of an incomplete domain model provided by a hum...