2108 search results - page 385 / 422 » An Operational Semantics for Stateflow |
121
click to vote
ESWS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Enterprise modelling focuses on the construction of a structured description, the so-called enterprise model, which represents aspects relevant to the activity of an ente...
106
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efļ¬...
129
click to vote
OTM
2009
Springer
15 years 8 months ago
2009
Springer
Provenance, from the French word āprovenirā, describes the lineage or history of a data entity. Provenance is critical information in scientific applications to verify experime...
121
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difļ¬cult endeavour. For complex systems, it requires modular development strategies based on prec...
102
click to vote
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
Traditional object-oriented programming languages can be diļ¬cult to use when working with ontologies, leading to the creation of domain-speciļ¬c languages designed speciļ¬cally...