1855 search results - page 21 / 371 » System Consequence |
EUROMICRO
2000
IEEE
15 years 2 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We analyze the notion of organizational structure in multiagent systems and explain the precise added value and the effects of such organizational structure on the involved agents...
ITS
2004
Springer
15 years 3 months ago
2004
Springer
The expansion of the World Wide Web and the use of computers in education have increased the demand for Web courses and, consequently, the need for systems that simplify their prod...
ICCAD
1998
IEEE
15 years 2 months ago
1998
IEEE
In traditional distributed embedded system designs, control information is often replicated across several processes and kept coherent by application-specific mechanisms. Conseque...
RTA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...