Sciweavers

1583 search results - page 165 / 317
» Feature Interaction Detection in the Feature Language Extens...
Sort
View
ECBS
2003
IEEE
105views Hardware» more  ECBS 2003»
15 years 9 months ago
Panel: Extending UML from Software to Systems Engineering
“The Unified Modeling Language (UML) is a graphical language for visualizing, specifying, constructing, and documenting the artifacts of a softwareintensive system” [1]. This ...
Stephanie White, Murray Cantor, Sanford Friedentha...
APSEC
1999
IEEE
15 years 8 months ago
Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...
Yoonsik Cheon, Heung-Nam Kim
CORR
2002
Springer
93views Education» more  CORR 2002»
15 years 3 months ago
Ellogon: A New Text Engineering Platform
This paper presents Ellogon, a multi-lingual, cross-platform, general-purpose text engineering environment. Ellogon was designed in order to aid both researchers in natural langua...
Georgios Petasis, Vangelis Karkaletsis, Georgios P...
TCBB
2010
89views more  TCBB 2010»
15 years 2 months ago
Model Composition for Macromolecular Regulatory Networks
—Models of regulatory networks become more difficult to construct and understand as they grow in size and complexity. Large models are usually built up from smaller models, repre...
Ranjit Randhawa, Clifford A. Shaffer, John J. Tyso...
FORTE
2011
14 years 7 months ago
On Global Types and Multi-party Sessions
We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessio...
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini,...