Sciweavers

6794 search results - page 383 / 1359
» Semantics of Visual Languages
Sort
View
ICDT
2007
ACM
90views Database» more  ICDT 2007»
16 years 27 days ago
On the Expressiveness of Implicit Provenance in Query and Update Languages
Abstract. Information concerning the origin of data (that is, its provenance) is important in many areas, especially scientific recordkeeping. Currently, provenance information mu...
Peter Buneman, James Cheney, Stijn Vansummeren
VLDB
1992
ACM
98views Database» more  VLDB 1992»
15 years 10 months ago
Updates in a Rule-Based Language for Objects
The integration of object-oriented concepts into deductive databases has been investigated for a certain time now. Various approaches to incorporate updates into deduction have be...
Michael Kramer, Georg Lausen, Gunter Saake
CSFW
1998
IEEE
15 years 10 months ago
Probabilistic Noninterference in a Concurrent Language
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
Dennis M. Volpano, Geoffrey Smith
CICLING
2003
Springer
15 years 12 months ago
Total Lexicalism and GASGrammars: A Direct Way to Semantics
A new sort of generative grammar (Sec2) will be demonstrated which is more radically “lexicalist” than any earlier one (Sec1). It is a modified Unification Categorial Gramma...
Gábor Alberti, Katalin Balogh, Judit Kleibe...
MABS
2005
Springer
16 years 7 days ago
Visual Modeling for Complex Agent-Based Simulation Systems
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...
Candelaria Sansores, Juan Pavón, Jorge J. G...