4690 search results - page 188 / 938 » An operational semantics for Scheme |
161
click to vote
DATE
2007
IEEE
16 years 28 days ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
157
click to vote
DEXAW
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we focus on the problem of integrating heterogeneous XML datasources. We follow a semantic approach to information sharing and integration, and we present a discipl...
151
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
We explore a new proxy-caching framework that exploits the query semantics of HTML forms. We identify a common class of form-based queries, and study two representative caching sc...
201
click to vote
COMPSAC
2005
IEEE
16 years 6 days ago
2005
IEEE
Distributed processing environments such as that of a traffic management network system (TMS) can be implemented easier, faster, and secure and perform better through use of auton...
184
click to vote
EDOC
2005
IEEE
16 years 6 days ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...