1880 search results - page 137 / 376 » A Static Analysis for Beta-Binders |
173
click to vote
IEEECIT
2005
IEEE
16 years 4 days ago
2005
IEEE
Abstract The conversation model captures interactions among the components of a composite web service. A conversation is the global sequence of messages exchanged among the compone...
138
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
161
click to vote
ASAP
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we propose to model memory access profile information as loop nests exhibiting useful characteristics on the memory behavior, such as periodicity, linearly linked m...
168
click to vote
WCET
2008
15 years 8 months ago
2008
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are ...
162
click to vote
AINA
2007
IEEE
16 years 24 days ago
2007
IEEE
In this paper, we study the adequacy of applying peer-topeer techniques to mobile networks by conducting a series of experiments using smart phones as peers. We measure important ...