Sciweavers

9507 search results - page 547 / 1902
» Time-based language models
Sort
View
JUCS
2010
139views more  JUCS 2010»
15 years 1 months ago
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
Alessander Botti Benevides, Giancarlo Guizzardi, B...
APN
2007
Springer
16 years 1 months ago
Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool
Workcraft is a framework for the simulation, conversion and analysis of the SDFS models. The plug-in based architecture with embedded scripting language makes the framework an eas...
Ivan Poliakov, Danil Sokolov, Andrey Mokhov
LFCS
2007
Springer
16 years 1 months ago
Compactness Properties for Stable Semantics of Logic Programs
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...
Victor W. Marek, Jeffrey B. Remmel
ECOOP
2004
Springer
16 years 14 days ago
AOP and Reflection for Dynamic Hyperslices
In this paper we present a Model for Dynamic Hyperslices which uses a particular Aspect-Oriented (AO) approach – Hyperspaces – for decomposition and reflection as a means for ...
Ruzanna Chitchyan, Ian Sommerville
FOSSACS
2004
Springer
16 years 14 days ago
Angelic Semantics of Fine-Grained Concurrency
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
Dan R. Ghica, Andrzej S. Murawski