289 search results - page 55 / 58 » Algebraic results for structured operational semantics |
CIKM
2010
Springer
14 years 10 months ago
2010
Springer
On-Line Analytical Processing (OLAP) has shown great success in many industry applications, including sales, marketing, management, financial data analysis, etc. In this paper, w...
EDOC
2003
IEEE
15 years 5 months ago
2003
IEEE
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
82
Voted
IIWAS
2004
15 years 1 months ago
2004
It is a fact that many XML query languages lack support for update operations. Those that have minimal support do not concern with preserving documents' constraints, and cons...
ECSQARU
2007
Springer
15 years 5 months ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
128
Voted
TGC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...