2108 search results - page 234 / 422 » An Operational Semantics for Stateflow |
131
Voted
CSL
2008
Springer
15 years 6 months ago
2008
Springer
Type-based termination is a semantically intuitive method that ensures termination of recursive definitions by tracking the size of datatype elements, and by checking that recursiv...
173
click to vote
OWLED
2008
15 years 6 months ago
2008
Abstract. Web portal software is relatively easy to set up and populate from the perspective of the end-user, but it leaves the back-end database devoid of subject domain semantics...
130
click to vote
IADIS
2004
15 years 6 months ago
2004
The first image retrieval systems hold the advantage of being fully automatic, and thus scalable to large collections of images but are restricted to the representation of low-lev...
123
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper explores technology permitting arbitrary application components to be exposed for remote access from other software. Using this, the application and its constituent com...
126
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...