3172 search results - page 30 / 635 » Combining Specification Techniques for Processes, Data and T... |
160
click to vote
CSUR
2006
15 years 6 months ago
2006
Data Grids have been adopted as the next-generation platform by many scientific communities that need to share, access, transport, process and manage large data collections distri...
174
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
162
click to vote
DKE
1998
15 years 5 months ago
1998
Disk I/O is a major bottleneck for query processing in database applications. This bottleneck is especially a problem for temporal databases because of their large size. Reduction...
160
click to vote
SAC
2006
ACM
15 years 12 months ago
2006
ACM
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...
157
click to vote
HICSS
2006
IEEE
16 years 13 hour ago
2006
IEEE
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...