2108 search results - page 403 / 422 » An Operational Semantics for Stateflow |
142
click to vote
CALCO
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...
115
Voted
SIGCOMM
2009
ACM
15 years 8 months ago
2009
ACM
To be agile and cost effective, data centers should allow dynamic resource allocation across large server pools. In particular, the data center network should enable any server to...
122
click to vote
CSFW
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
148
click to vote
EDOC
2008
IEEE
15 years 8 months ago
2008
IEEE
Service providers as we know them nowadays are the always-on “static” web service providers, that aim at Five9 availability (99.999%). Formal, or de-facto, standards, such as ...
149
click to vote
ICDM
2008
IEEE
15 years 8 months ago
2008
IEEE
OLAP (On-Line Analytical Processing) is an important notion in data analysis. Recently, more and more graph or networked data sources come into being. There exists a similar need ...