2836 search results - page 458 / 568 » Model Checking for Software Architectures |
160
click to vote
CCGRID
2003
IEEE
15 years 11 months ago
2003
IEEE
Application-layer networks (ALN) are software architectures that allow the provisioning of services requiring a huge amount of resources by connecting large numbers of individual ...
162
click to vote
ISORC
2003
IEEE
15 years 11 months ago
2003
IEEE
SMIL is a markup language which enables us to describe multimedia contents. This paper proposes a design model of SMIL browser functionality for mobile terminals whose resources a...
143
click to vote
GW
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents some results of a research work concerning algorithms and computational models for real-time analysis of expressive gesture in full-body human movement. As a ma...
157
click to vote
UIST
1999
ACM
15 years 10 months ago
1999
ACM
Most document or information management systems rely on hierarchies to organise documents (e.g. files, email messages or web bookmarks). However, the rigid structures of hierarchi...
150
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
The implementation of embedded networked appliances requires a mix of processor cores and HW accelerators on a single chip. When designing such complex and heterogeneous SoCs, the...