10666 search results - page 1904 / 2134 » Quantum programming languages |
170
click to vote
CORR
2008
Springer
15 years 4 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...
155
click to vote
IT
2008
15 years 4 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...
147
click to vote
IR
2006
15 years 4 months ago
2006
This paper describes a method, using Genetic Programming, to automatically determine term weighting schemes for the vector space model. Based on a set of queries and their human de...
138
click to vote
SIGCSE
2008
ACM
15 years 4 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...
154
click to vote
TSE
2008
15 years 4 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...