Sciweavers

2813 search results - page 363 / 563
» Formalizing Architectural Connection
Sort
View
SBACPAD
2003
IEEE
103views Hardware» more  SBACPAD 2003»
15 years 11 months ago
Performance Analysis Issues for Parallel Implementations of Propagation Algorithm
This paper presents a theoretical study to evaluate the performance of a family of parallel implementations of the propagation algorithm. The propagation algorithm is used to an i...
Leonardo Brenner, Luiz Gustavo Fernandes, Paulo Fe...
AGENTCL
2003
Springer
15 years 11 months ago
Proactive Communications in Agent Teamwork
Abstract. The capabilities for agents in a team to anticipate informationneeds of teammates and proactively offer relevant information are highly desirable. However, such behavior...
John Yen, Xiaocong Fan, Richard A. Volz
ICADL
2003
Springer
92views Education» more  ICADL 2003»
15 years 11 months ago
Improving Automatic Labelling through RDF Management
Building a shared and widely accessible repository, in order for scientists and end users to exploit it easily, results in tackling a variety of issues. Among others, the need for ...
Floriana Esposito, Stefano Ferilli, Nicola Di Maur...
GI
2009
Springer
15 years 11 months ago
A Browser-based UI Framework for Smart Interaction with Ambient Services
: The support of smart interaction in ubiquitous computing is among the core criteria to achieve user acceptance and thus business success. We describe an architectural framework u...
Heinz-Josef Eikerling, Matthias Benesch, Frank Ber...
CODES
2000
IEEE
15 years 11 months ago
Automatic test bench generation for simulation-based validation
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
Marcello Lajolo, Luciano Lavagno, Maurizio Rebaude...