2060 search results - page 212 / 412 » The Composition of Event-B Models |
223
click to vote
ECBS
2009
IEEE
15 years 4 months ago
2009
IEEE
Current domain-specific modeling (DSM) frameworks for designing component-based systems often consider the system's structural and behavioral concerns as the two dominant con...
197
click to vote
ICLP
2005
Springer
16 years 19 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
196
click to vote
CAISE
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
164
click to vote
HPDC
2002
IEEE
16 years 2 days ago
2002
IEEE
Peer-to-peer (P2P) computing grids consist of peer nodes that communicate directly among themselves through wide-area networks and can act as both clients and servers. These syste...
196
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: The nucleosome is the fundamental packing unit of DNAs in eukaryotic cells. Its detailed positioning on the genome is closely related to chromosome functions. Increasi...