Sciweavers

757 search results - page 10 / 152
» Composing Security-Aware Software
Sort
View
SIGSOFT
2002
ACM
16 years 5 months ago
Composable semantics for model-based notations
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
Jianwei Niu, Joanne M. Atlee, Nancy A. Day
142
Voted
DSRT
2005
IEEE
15 years 10 months ago
A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
Hessam S. Sarjoughian, Dongping Huang
LREC
2008
70views Education» more  LREC 2008»
15 years 6 months ago
Process Model for Composing High-quality Text Corpora
The Teko corpus composing model offers a decentralized, dynamic way of collecting high-quality text corpora for linguistic research. The resulting corpus consists of independent t...
Mikko Lounela
104
Voted
CMMR
2007
Springer
126views Music» more  CMMR 2007»
15 years 11 months ago
BioTools: A Biosignal Toolbox for Composers and Performers
In this paper, we present the current state of BioTools, an ongoing project to implement a modular hardware and software toolbox for composers and performers, which allows fast dep...
Miguel Angel Ortiz Pérez, R. Benjamin Knapp
109
Voted
BIRTHDAY
2004
Springer
15 years 10 months ago
Composing Hidden Information Modules over Inclusive Institutions
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
Joseph A. Goguen, Grigore Rosu