2558 search results - page 409 / 512 » Model Composition Contracts |
132
click to vote
ACL
1998
15 years 5 months ago
1998
This paper presents a semantic interpretation of adjectival modification in terms of the Generative Lexicon. It highlights the elements which can be borrowed from the GL and devel...
132
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Simulation of DNA-microarray data serves at least three purposes: (i) optimizing the design of an intended DNA microarray experiment, (ii) comparing existing pre-proce...
138
click to vote
FORTE
2008
15 years 5 months ago
2008
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...
154
Voted
ECMDAFA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
182
click to vote
ISARCS
2010
15 years 6 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...