6800 search results - page 505 / 1360 » Testing with Functions as Specifications |
188
click to vote
IJMC
2008
15 years 7 months ago
2008
In this paper, we apply the theory of task technology fit to mobile technology, focusing specifi-cally on the role of user mobility. We describe the results of an empirical study ...
193
click to vote
JFP
2008
15 years 7 months ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
193
click to vote
JNW
2008
15 years 7 months ago
2008
- Multicast potentially optimises bandwidth consumption and node resources, when several users simultaneously participate in a communication session. Nevertheless, contrary to the ...
223
click to vote
JLP
2006
15 years 7 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
207
click to vote
NAR
2007
15 years 7 months ago
2007
The AthaMap database generates a map of cisregulatory elements for the whole Arabidopsis thaliana genome. This database has been extended by new tools to identify common cis-regul...