Sciweavers

13180 search results - page 2198 / 2636
» Network Models
Sort
View
DATE
2003
IEEE
135views Hardware» more  DATE 2003»
15 years 11 months ago
Estimation of Bus Performance for a Tuplespace in an Embedded Architecture
This paper describes a design methodology for the estimation of bus performance of a tuplespace for factory automation. The need of a tuplespace is motivated by the characteristic...
Nicola Drago, Franco Fummi, Marco Monguzzi, Giovan...
ISWC
2003
IEEE
15 years 11 months ago
Towards a design framework for wearable electronic textiles
This paper presents a design framework for wearable electronic textiles. The focus is on the design and simulation issues that arise from the interaction of the electronic textile...
Thomas Martin, Mark T. Jones, Joshua Edmison, Ravi...
169
Voted
COORDINATION
2006
Springer
15 years 10 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
ECIR
2007
Springer
15 years 7 months ago
Hierarchical Browsing of Video Key Frames
We propose an innovative, general purpose, method to the selection and hierarchical representation of key frames of a video sequence for video summarization. It is able to create a...
Gianluigi Ciocca, Raimondo Schettini
JUCS
2007
108views more  JUCS 2007»
15 years 6 months ago
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
« Prev « First page 2198 / 2636 Last » Next »