Sciweavers

4008 search results - page 455 / 802
» An expressive language of signatures
Sort
View
ER
2003
Springer
226views Database» more  ER 2003»
16 years 1 days ago
Agent-Oriented Modeling and Agent-Based Simulation
Agent-oriented modeling of software and information systems and agent-based simulation are commonly viewed as two separate fields with different concepts and techniques. We argue t...
Gerd Wagner, Florin Tulba
ESOP
2003
Springer
16 years 1 days ago
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
Karine Altisen, Aurélie Clodic, Florence Ma...
172
Voted
ESOP
2003
Springer
16 years 1 days ago
Finite Differencing of Logical Formulas for Static Analysis
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...
Thomas W. Reps, Shmuel Sagiv, Alexey Loginov
ICVS
2003
Springer
16 years 16 hour ago
A Self-Referential Perceptual Inference Framework for Video Interpretation
This paper presents an extensible architectural model for general content-based analysis and indexing of video data which can be customised for a given problem domain. Video interp...
Christopher Town, David Sinclair
MPC
2010
Springer
165views Mathematics» more  MPC 2010»
15 years 11 months ago
Dependently Typed Grammars
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
Kasper Brink, Stefan Holdermans, Andres Löh