Search Sciweavers | Sciweavers

5683 search results - page 76 / 1137

» Interactive Schedulability Analysis

145

click to vote

EMSOFT
2006
Springer

160views Software Engineering» more EMSOFT 2006»

An analysis framework for network-code programs

15 years 5 months ago

Download esg.uwaterloo.ca

Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...

Madhukar Anand, Sebastian Fischmeister, Insup Lee

claim paper

Read More »

click to vote

DOCENG
2003
ACM

61views Document Analysis» more DOCENG 2003»

Using SMIL to encode interactive, peer-level multimedia annotations

15 years 6 months ago

Download homepages.cwi.nl

Dick C. A. Bulterman

claim paper

Read More »

click to vote

DOCENG
2003
ACM

123views Document Analysis» more DOCENG 2003»

Interactive information retrieval from XML documents represented by attribute grammars

15 years 6 months ago

Download www-inf.int-evry.fr

Alda Lopes Gançarski, Pedro Rangel Henrique...

claim paper

Read More »

106

click to vote

FMSD
2006

119views more FMSD 2006»

Feature interaction detection by pairwise analysis of LTL properties - A case study

15 years 1 months ago

Download www.dcs.gla.ac.uk

A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...

Muffy Calder, Alice Miller

claim paper

Read More »

106

click to vote

BMCBI
2004

76views more BMCBI 2004»

VisANT: an online visualization and analysis tool for biological interaction data

15 years 1 months ago

Download www.biomedcentral.com

Background: New techniques for determining relationships between biomolecules of all types

Zhenjun Hu, Joseph C. Mellor, Jie Wu, Charles DeLi...