5630 search results - page 45 / 1126 » Computability in Specification |
FPL
2005
Springer
14 years 3 months ago
2005
Springer
Many System-on-a-Chip devices would benefit from the inclusion of reprogrammable logic on the silicon die, as it can add general computing ability, provide run-time reconfigurabil...
GCC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. A hybrid workflow system could be treated as a domain-across infrastructure by incorporating different workflow systems and WfMSs engaged in the complex business processi...
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance,...
EDCC
2006
Springer
14 years 1 months ago
2006
Springer
- This paper proposes a novel technique for preventing a wide range of data errors from corrupting the execution of applications. The proposed technique enables automated derivatio...
EDOC
2006
IEEE
14 years 1 months ago
2006
IEEE
Enterprise Systems (ES) can be understood as the de facto standard for holistic operational and managerial support within an organization. Most commonly ES are offered as commerci...