5451 search results - page 849 / 1091 » Typed Operational Semantics |
182
click to vote
IWSOS
2007
Springer
16 years 18 days 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...
146
click to vote
SAS
2007
Springer
16 years 17 days 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...
169
click to vote
EDOC
2006
IEEE
16 years 15 days ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
182
click to vote
EDOC
2006
IEEE
16 years 15 days ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
132
click to vote
ICSEA
2006
IEEE
16 years 15 days ago
2006
IEEE
ey operate with computer abstractions not with AD ions they cannot fully bridge the semantic gap between IT and AD. Therefore, we can safely conclude that the research on computer ...