2106 search results - page 387 / 422 » Operational Semantics for DyLPs |
140
click to vote
GPCE
2007
Springer
15 years 11 months ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...
131
click to vote
ICOST
2007
Springer
15 years 11 months ago
2007
Springer
This paper defines a new, context-driven programming model for pervasive spaces. Existing models are prone to conflict, as it is hard to predict the outcome of interleaved actions ...
169
click to vote
ISI
2007
Springer
15 years 11 months ago
2007
Springer
—A Weblog is a Web site where entries are made in diary style, maintained by its sole author – a blogger, and displayed in a reverse chronological order. Due to the freedom and...
164
click to vote
IWSOS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. With the emergence of mobile and ubiquitous computing environments, there is a requirement to enable collaborative applications between these environments. As many of the...
132
click to vote
SAS
2007
Springer
15 years 11 months ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...