2688 search results - page 8 / 538 » A formal semantics for P3P |
ADBIS
2004
Springer
13 years 11 months ago
2004
Springer
Trend analysis and forecasting applications (e.g., securities trading, stock market, and after-the-fact diagnosis) need event detection along a moving time window. Event-driven app...
JUCS
2008
13 years 7 months ago
2008
Abstract: The digital media and games industry is one of the biggest IT based industries worldwide. Recent observations therein showed that current production workflows may be pote...
FASE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
FM
2003
Springer
14 years 20 days ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
ASP
2003
Springer
14 years 21 days ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...