7452 search results - page 1346 / 1491 » A Semantics for Multiprocessor Systems |
151
click to vote
TACAS
2007
Springer
16 years 17 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
205
click to vote
CSFW
2006
IEEE
16 years 16 days ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
169
click to vote
EDOC
2006
IEEE
16 years 16 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...
180
click to vote
IDEAS
2006
IEEE
16 years 15 days ago
2006
IEEE
The paper presents a framework for publishing relational databases in textual documents such as mails, HTML pages, LATEX or BibTex files, plain texts, etc. The publication proces...
179
click to vote
SKG
2006
IEEE
16 years 14 days ago
2006
IEEE
— As the Service Oriented Architecture (SOA) principles have gained importance, an emerging need has appeared for methodologies to locate desired services that provide access to ...