5722 search results - page 260 / 1145 » the future of experimental research |
157
click to vote
BIRTHDAY
2007
Springer
16 years 25 days ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
149
click to vote
CSEE
2007
Springer
16 years 25 days ago
2007
Springer
A wiki is a web tool that allows users to easily create and edit web pages collaboratively. The ease-of-editing feature and accessibility from anywhere by anyone make wikis ideal ...
133
click to vote
EMISA
2007
Springer
16 years 25 days ago
2007
Springer
We discuss two experiments in which requirements engineering techniques has been used and evaluated. In the first experiment a technique called Executable Use Cases is applied in t...
178
click to vote
GCC
2007
Springer
16 years 24 days ago
2007
Springer
On building a service-oriented architecture for Grid systems, more and more researches have been focused on service composition. Services, however, are not always exactly compatib...
165
click to vote
GTTSE
2007
Springer
16 years 24 days ago
2007
Springer
Model transformations are a key element in the OMG’s Model Driven Development agenda. They did not begin here: the fundamental idea of transforming, automatically, one model into...