Search Sciweavers | Sciweavers

1167 search results - page 64 / 234

» A Really Temporal Logic

click to vote

IFM
2004
Springer

83views Formal Methods» more IFM 2004»

Integrating Temporal Logics

14 years 3 months ago

Download www.iist.unu.edu

Yifeng Chen, Zhiming Liu

claim paper

Read More »

click to vote

ATAL
2003
Springer

107views Intelligent Agents» more ATAL 2003»

Engineering commitment-based multiagent systems: a temporal logic approach

14 years 2 months ago

Download people.engr.ncsu.edu

Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...

Jie Xing, Munindar P. Singh

claim paper

Read More »

click to vote

CAV
2003
Springer

106views Hardware» more CAV 2003»

Enhanced Vacuity Detection in Linear Temporal Logic

14 years 2 months ago

Download www.doc.ic.ac.uk

Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumber...

claim paper

Read More »

click to vote

CAV
2003
Springer

140views Hardware» more CAV 2003»

TLQSolver: A Temporal Logic Query Checker

14 years 2 months ago

Download www.cs.toronto.edu

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

click to vote

KBSE
2002
IEEE

110views Software Engineering» more KBSE 2002»

A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers