3713 search results - page 275 / 743 » Constructing a Calculus of Programs |
159
click to vote
IFIP
2007
Springer
16 years 1 months ago
2007
Springer
The shift of development effort onto the model level, as postulated by MDA, provides an opportunity for establishing a set of modelling constructs that is more intuitive and homoge...
137
click to vote
OOPSLA
2005
Springer
16 years 21 days ago
2005
Springer
This paper presents Classages, a novel interaction-centric object-oriented language. Classes and objects in Classages are fully encapsulated, with explicit interfaces for all inte...
186
click to vote
CMSB
2004
Springer
16 years 18 days ago
2004
Springer
In this paper we present a methodology to estimate rates of enzymatic reactions in metabolic pathways. Our methodology is based on applying stochastic logic learning in ensemble le...
201
click to vote
INFOCOM
2003
IEEE
16 years 14 days ago
2003
IEEE
— Wireless multicast/broadcast sessions, unlike wired networks, inherently reaches several nodes with a single transmission. For omnidirectional wireless broadcast to a node, all...
222
click to vote
FIDJI
2003
Springer
16 years 12 days ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...