3799 search results - page 205 / 760 » An Engineering Approach to Formal Methods |
164
click to vote
DKE
2002
15 years 4 months ago
2002
We introduce the notion of iceberg concept lattices and show their use in knowledge discovery in databases. Iceberg lattices are a conceptual clustering method, which is well suit...
171
click to vote
AGTIVE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
144
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
For years the HCI community has struggled to integrate design in research and practice. While design has gained a strong foothold in practice, it has had much less impact on the H...
113
click to vote
ACSD
2004
IEEE
15 years 8 months ago
2004
IEEE
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
156
click to vote
ICECCS
1998
IEEE
15 years 8 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...