1845 search results - page 333 / 369 » Operating System Performance in Support of Real-Time Middlew... |
122
click to vote
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
166
click to vote
VEE
2012
ACM
13 years 9 months ago
2012
ACM
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...
217
click to vote
ICDE
1997
IEEE
16 years 2 months ago
1997
IEEE
Transaction delegation, as introduced in ACTA, allows a transaction to transfer responsibility for the operations that it has performed on an object to another transaction. Delega...
EDOC
2009
IEEE
15 years 8 months ago
2009
IEEE
—The design of an Enterprise Architecture (EA) management function for an enterprise is no easy task. Various frameworks exist as well as EA management tools, which promise to de...
106
click to vote
EDOC
2006
IEEE
15 years 7 months ago
2006
IEEE
Workflow forms a key part of many existing Service Oriented applications, involving the integration of services that may be made available at distributed sites. It is possible ng...