4454 search results - page 407 / 891 » Designing components for e-services |
173
click to vote
ISN
1997
Springer
15 years 11 months ago
1997
Springer
: The TINA architecture is emerging as an integrated approach to service and network control and management. The ACTS VITAL project aims to extend and refine the TINA architecture ...
166
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
This paper introduces hot potato high level synthesis transformation techniques. These techniques add deflection operations in a computation in such a way that a specific goal is ...
187
click to vote
ECAI
1994
Springer
15 years 11 months ago
1994
Springer
1 We develop a learning component for a theorem prover designed for verifying statements by mathematical induction. If the prover has found a proof, it is analyzed yielding a so-ca...
199
click to vote
FMCO
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
198
click to vote
EVOW
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Artificial Nature is a trans-disciplinary research project drawing upon bio-inspired system theories in the production of engaging immersive worlds as art installations. ...