Search Sciweavers | Sciweavers

5981 search results - page 55 / 1197

» time 2006

click to vote

AISC
2006
Springer

66views Artificial Intelligence» more AISC 2006»

Labeled @-Calculus: Formalism for Time-Concerned Human Factors

14 years 1 months ago

Download www.cs.tsukuba.ac.jp

Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, ...

claim paper

Read More »

click to vote

ATVA
2006
Springer

87views Hardware» more ATVA 2006»

Timed Temporal Logics for Abstracting Transient States

14 years 1 months ago

Download www.lsv.ens-cachan.fr

Houda Bel Mokadem, Béatrice Bérard, ...

claim paper

Read More »

click to vote

EUC
2006
Springer

94views Applied Computing» more EUC 2006»

Perturbative Time and Frequency Allocations for RFID Reader Networks

14 years 1 months ago

Download www.hpl.hp.com

Vinay Deolalikar, Malena R. Mesarina, John Recker,...

claim paper

Read More »

click to vote

FM
2006
Springer

97views Formal Methods» more FM 2006»

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

14 years 1 months ago

Download wiki.overturetool.org

Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman

claim paper

Read More »

click to vote

AAAI
2006

111views Intelligent Agents» more AAAI 2006»

A Decision-Theoretic Planner with Dynamic Compound Reconfiguration for Distributed Real-Time Applications

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers