10072 search results - page 443 / 2015 » Composition of Model Programs |
211
Voted
LICS
2006
IEEE
16 years 27 days ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
180
Voted
CAISE
2004
Springer
16 years 8 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 ...
156
Voted
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...
185
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...
188
Voted
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...