6608 search results - page 1284 / 1322 » On the Completeness of Model Checking |
135
click to vote
ICEIS
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract: We present the live-representation approach for managing and working in complex, dynamic business processes. In this approach, aspects of business-process modeling, proje...
125
click to vote
METRICS
2003
IEEE
15 years 8 months ago
2003
IEEE
Estimating the effort required for software process activities continues to present difficulties for software engineers, particularly given the uncertainty and subjectivity associ...
158
Voted
MICRO
2003
IEEE
15 years 8 months ago
2003
IEEE
A virtual instruction set architecture (V-ISA) implemented via a processor-specific software translation layer can provide great flexibility to processor designers. Recent examp...
165
Voted
MIR
2003
ACM
15 years 8 months ago
2003
ACM
CDN (Content Delivery Networks) improves end-user performance by replicating web contents on a group of geographically distributed content servers. Replication Algorithm plays an ...
130
Voted
SC
2003
ACM
15 years 8 months ago
2003
ACM
Many applications of parallel I/O perform non-contiguous file accesses: instead of accessing a single (large) block of data in a file, a number of (smaller) blocks of data scatt...