Search Sciweavers | Sciweavers

1860 search results - page 25 / 372

» A Temporal Logic of Robustness

click to vote

FUIN
2006

68views more FUIN 2006»

Expressing and Verifying Temporal and Structural Properties of Mobile Agents

13 years 10 months ago

Download www.ipipan.gda.pl

Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest--the temporal evolution...

Marek A. Bednarczyk, Wojciech Jamroga, Wieslaw Paw...

claim paper

Read More »

click to vote

TIME
2007
IEEE

151views Automated Reasoning» more TIME 2007»

Automated Planning in Temporal Domains: Some Recent Advances and Current Research Topics

14 years 4 months ago

Download www.ing.unibs.it

Alfonso Gerevini

claim paper

Read More »

click to vote

TIME
2006
IEEE

81views Automated Reasoning» more TIME 2006»

From Language to Time: A Temporal Expression Anchorer

14 years 3 months ago

Download www.cs.cmu.edu

Benjamin Han, Donna Gates, Lori S. Levin

claim paper

Read More »

click to vote

TIME
2005
IEEE

132views Automated Reasoning» more TIME 2005»

Temporal XML? SQL Strikes Back!

14 years 3 months ago

Download www.cs.ucla.edu

Fusheng Wang, Carlo Zaniolo, Xin Zhou

claim paper

Read More »

click to vote

TIME
2003
IEEE

105views Automated Reasoning» more TIME 2003»

Temporal Queries in XML Document Archives and Web Warehouses

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers