11909 search results - page 2094 / 2382 » The Scheme Programming Language |
196
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...
204
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
201
click to vote
IT
2008
15 years 6 months ago
2008
provides a powerful abstraction basically allowing to perceiving all compute resources as entities that can be dynamically discovered and composed. These entities are called servic...
176
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Computer science faculty must attract and retain students by offering innovative courses that spark student interest, yet still teach core, computer science concepts. These effort...
197
click to vote
TSE
2008
15 years 6 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...