Search Sciweavers | Sciweavers

5981 search results - page 55 / 1197

» time 2006

124

click to vote

AISC
2006
Springer

66views Artificial Intelligence» more AISC 2006»

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

15 years 10 months ago

Download www.cs.tsukuba.ac.jp

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

claim paper

Read More »

133

click to vote

ATVA
2006
Springer

87views Hardware» more ATVA 2006»

Timed Temporal Logics for Abstracting Transient States

15 years 10 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

124

click to vote

EUC
2006
Springer

94views Applied Computing» more EUC 2006»

Perturbative Time and Frequency Allocations for RFID Reader Networks

15 years 10 months ago

Download www.hpl.hp.com

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

claim paper

Read More »

162

click to vote

FM
2006
Springer

97views Formal Methods» more FM 2006»

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

15 years 10 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

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers