271 search results - page 35 / 55 » The lattice of embedded subsets |
FASE
2004
Springer
14 years 24 days ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
FGR
2004
IEEE
14 years 24 days ago
2004
IEEE
Intra-personal space modeling proposed by Moghaddam et. al. has been successfully applied in face recognition. In their work the regular principal subspaces are derived from the i...
FORMATS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
IASTEDSEA
2004
13 years 10 months ago
2004
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
CONSTRAINTS
2008
13 years 9 months ago
2008
When solving systems of nonlinear equations with interval constraint methods, it has often been observed that many calls to contracting operators do not participate actively to th...