Sciweavers

9444 search results - page 74 / 1889
» The Language Model LMNtal
Sort
View
HCI
2009
15 years 2 months ago
Tooling the Dynamic Behavior Models of Graphical DSLs
Domain-specific modeling is a powerful technique to describe complex systems in a precise but still understandable way. Rapid creation of graphical Domain-Specific Languages (DSLs)...
Tihamer Levendovszky, Tamás Mész&aac...
IJSEKE
2011
165views more  IJSEKE 2011»
14 years 8 months ago
Model Checking for Verification of Mandatory Access Control Models and Properties
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun H...
SAC
2008
ACM
15 years 4 months ago
Aggregation languages for moving object and places of interest
We address aggregate queries over GIS data and moving object data, where non-spatial information is stored in a data warehouse. We propose a formal data model and query language t...
Leticia I. Gómez, Bart Kuijpers, Alejandro ...
TVCG
2010
194views more  TVCG 2010»
15 years 3 months ago
Declarative Language Design for Interactive Visualization
Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By separating specification from execution, declarativ...
Jeffrey Heer, Michael Bostock
ICOODB
2009
246views Database» more  ICOODB 2009»
15 years 2 months ago
Compiler Plugins Can Handle Nested Languages: AST-Level Expansion of LINQ Queries for Java
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
Miguel Garcia