3765 search results - page 364 / 753 » Formal Methods for Systems Engineering Behavior Models |
190
click to vote
MSWIM
2006
ACM
16 years 22 days ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
181
click to vote
AIED
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Formalizing a student model for an educational system requires an engineering effort that is highly domain-specific. This model-specificity limits the ability to scale ...
144
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
In this paper, the identification of a class of nonlinear systems which admits input-output maps described by a finite degree Volterra series is considered. In actual fact, it app...
201
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
187
click to vote
FMSD
2010
15 years 5 months ago
2010
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...