10568 search results - page 376 / 2114 » Computer Intelligence and Formalization |
153
click to vote
GRC
2005
IEEE
15 years 10 months ago
2005
IEEE
— In this article, a formalism for a specific temporal data mining task (the discovery of rules, inferred from databases of events having a temporal dimension), is defined. The...
115
click to vote
SAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
133
click to vote
FMCO
2003
Springer
15 years 9 months ago
2003
Springer
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
133
click to vote
IFM
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...