2060 search results - page 212 / 412 » The Composition of Event-B Models |
199
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...
180
click to vote
ICLP
2005
Springer
16 years 3 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 ...
171
click to vote
CAISE
2004
Springer
15 years 12 months 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 ...
149
click to vote
HPDC
2002
IEEE
15 years 11 months 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...
175
click to vote
BMCBI
2010
15 years 6 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...