Sciweavers

8109 search results - page 178 / 1622
» A Model of Component-Based Programming
Sort
View
JLP
2007
81views more  JLP 2007»
15 years 5 months ago
The SL synchronous language, revisited
We revisit the SL synchronous programming model introduced by Boussinot and De Simone (IEEE, Trans. on Soft. Eng., 1996). We discuss an alternative design of the model including t...
Roberto M. Amadio
GPEM
2002
109views more  GPEM 2002»
15 years 4 months ago
Some Considerations on the Reason for Bloat
A representation-less model for genetic programming is presented. The model is intended to examine the mechanisms that lead to bloat in genetic programming (GP). We discuss two hyp...
Wolfgang Banzhaf, William B. Langdon
159
Voted
ECOOPW
1999
Springer
15 years 9 months ago
Aspects and Superimpositions
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
Shmuel Katz, Joseph Gil
IJWET
2007
152views more  IJWET 2007»
15 years 5 months ago
Semantic web technologies for ubiquitous computing resource management in smart spaces
: Context-aware ubiquitous computing environments tend to be highly distributed and heterogeneous, while also featuring increased dynamism as elements, devices and middleware compo...
John Soldatos, Kostas Stamatis, Siamak Azodolmolky...
ICLP
2009
Springer
16 years 5 months ago
Constraint Based Languages for Biological Reactions
In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...
Marco Bottalico, Stefano Bistarelli