Sciweavers

2813 search results - page 127 / 563
» Formalizing Architectural Connection
Sort
View
ECEASST
2008
83views more  ECEASST 2008»
15 years 5 months ago
Layered Architecture Consistency for MANETs: Introducing New Team Members
In this paper we extend our results (as given in [PHE+07]) concerning the layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (MANETs) using algebraic higher ord...
Enrico Biermann, Kathrin Hoffmann, Julia Padberg
157
Voted
ERSA
2009
107views Hardware» more  ERSA 2009»
15 years 2 months ago
Towards Effective Modeling and Programming Multi-core Tiled Reconfigurable Architectures
For a generic flexible efficient array antenna receiver platform a hierarchical reconfigurable tiled architecture has been proposed. The architecture provides a flexible reconfigur...
Kenneth C. Rovers, Marcel D. van de Burgwal, Jan K...
170
Voted
DATAMINE
2010
166views more  DATAMINE 2010»
15 years 5 months ago
Optimal constraint-based decision tree induction from itemset lattices
In this article we show that there is a strong connection between decision tree learning and local pattern mining. This connection allows us to solve the computationally hard probl...
Siegfried Nijssen, Élisa Fromont
IANDC
2010
83views more  IANDC 2010»
15 years 3 months ago
Static analysis of topology-dependent broadcast networks
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
Sebastian Nanz, Flemming Nielson, Hanne Riis Niels...
143
Voted
CIMCA
2008
IEEE
15 years 7 months ago
Web Services Composition: Mashups Driven Orchestration Definition
On the one hand, mashups are a new kind of web application built upon the composition of different resources in a user-friendly way. Tools based on such concepts focus on graphic ...
Sébastien Mosser, Franck Chauvel, Mireille ...