3844 search results - page 271 / 769 » Modular interpreted systems |
133
click to vote
JSYML
2002
15 years 4 months ago
2002
Abstract. This paper develops the very basic notions of analysis in a weak secondorder theory of arithmetic BTFA whose provably total functions are the polynomial time computable f...
128
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
– In this paper, we present an open architecture Virtual Test Environment (VTE) which can be easily integrated into various modularized Automatic Test Systems (ATS) compliant to ...
163
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...
135
click to vote
HPCA
2005
IEEE
15 years 10 months ago
2005
IEEE
The last decade has seen several changes in the structure and emphasis of enterprise IT systems. Specific infrastructure trends have included the emergence of large consolidated d...
117
click to vote
HOLOMAS
2003
Springer
15 years 9 months ago
2003
Springer
Holonic and agent-based paradigms are very suitable in the development of distributed manufacturing control systems, taking advantage of their modularity, decentralization, and abi...