7117 search results - page 289 / 1424 » IT Governance Frameworks as Methods |
221
click to vote
CCECE
2006
IEEE
16 years 22 days ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
229
click to vote
CIMCA
2006
IEEE
16 years 22 days ago
2006
IEEE
Business Process Management (BPM) is often a key component of the business change. Business rules, whether embedded within BPM or on their own, have begun playing an ever-increasi...
153
click to vote
COMPSAC
2006
IEEE
16 years 22 days ago
2006
IEEE
Web applications have become complex and crucial in many fields. In order to assure their quality, a high demand for systematic methodologies of Web application testing is emergin...
199
click to vote
ISCAS
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract—This paper presents a novel high-efficient hybrid openclose loop based fine granularity scalable (HOCFGS) coding framework supporting different decoding complexity appli...
170
click to vote
TAICPART
2006
IEEE
16 years 20 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...