Sciweavers

4126 search results - page 63 / 826
» Relationships with other Formalisms
Sort
View
TFM
2004
Springer
130views Formal Methods» more  TFM 2004»
15 years 11 months ago
Advertising Formal Methods and Organizing Their Teaching: Yes, but ...
This position paper aims to address most of the “challenges” suggested by the conference’s CFP plus a few others. The style is deliberately informal and colloquial, occasiona...
Dino Mandrioli
BIRTHDAY
2008
Springer
15 years 8 months ago
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
Abstract. This paper presents a formal framework, experimental infrastructure, and computational environment for modeling, analyzing and regulating the behavior of cardiac tissues....
Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanu...
ICDE
1995
IEEE
99views Database» more  ICDE 1995»
16 years 7 months ago
Record Subtyping in Flexible Relations by Means of Attribute Dependencies
The model of flexible relations supports heterogeneous sets of tuples in a strongly typed way. The elegance of the standard relational model is preserved by using a single, generi...
Christian Kalus, Peter Dadam
ACL
1997
15 years 7 months ago
Compiling Regular Formalisms with Rule Features into Finite-State Automata
This paper presents an algorithm for the compilation of regular formalisms with rule features into finite-state automata. Rule features are incorporated into the right context of ...
George Anton Kiraz
CORR
2007
Springer
79views Education» more  CORR 2007»
15 years 6 months ago
Ontology and Formal Semantics - Integration Overdue
but other abstract objects as well (e.g., states, processes, properties, activities, attributes, etc.) It will be demonstrated here that in such a framework, a number of challenges...
Walid S. Saba