Sciweavers

208 search results - page 10 / 42
» Transaction Management with Integrity Checking
Sort
View
99
Voted
ICSEA
2009
IEEE
14 years 7 months ago
Integrating IT Service Management within the Enterprise Architecture
-- Published work in the IT services area is generally centered on the description of management best practices or specific technological issues. There is a lack of empirical studi...
Anacleto Correia, Fernando Brito e Abreu
DKE
2008
158views more  DKE 2008»
14 years 9 months ago
Integration and verification of semantic constraints in adaptive process management systems
Adaptivity in process management systems is key to their successful applicability in practice. Approaches have been already developed to ensure system correctness after arbitrary ...
Linh Thao Ly, Stefanie Rinderle, Peter Dadam
HICSS
2003
IEEE
128views Biometrics» more  HICSS 2003»
15 years 2 months ago
IRTL (Information Resource Transaction Layer) Middleware Design for P2P and Open GRID Services
In this paper we present an IRTL (Information Resource Transaction Layer) middleware architecture that addresses some of the important technical challenges associated with heterog...
Junseok Hwang, Praveen Aravamudham, Elizabeth D. L...
CACM
2008
100views more  CACM 2008»
14 years 9 months ago
TxLinux and MetaTM: transactional memory and the operating system
TxLinux is the first operating system to use hardware transactional memory (HTM) as a synchronization primitive, and the first to manage HTM in the scheduler. TxLinux, which is a ...
Christopher J. Rossbach, Hany E. Ramadan, Owen S. ...
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
15 years 1 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...