Search Sciweavers | Sciweavers

579 search results - page 13 / 116

» On a Temporal Logic for Object-Based Systems

click to vote

ATAL
2003
Springer

107views Intelligent Agents» more ATAL 2003»

Engineering commitment-based multiagent systems: a temporal logic approach

14 years 28 days 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

MMMACNS
2005
Springer

119views Information Technology» more MMMACNS 2005»

A Temporal Logic-Based Model for Forensic Investigation in Networked System Security

14 years 1 months ago

Download www.cnas.org.tn

Slim Rekhis, Noureddine Boudriga

claim paper

Read More »

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

14 years 1 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

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 19 days ago

Download dc.exa.unrc.edu.ar

Nazareno Aguirre, T. S. E. Maibaum

claim paper

Read More »

click to vote

LICS
1995
IEEE

111views Automated Reasoning» more LICS 1995»

Complete Proof Systems for First Order Interval Temporal Logic

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers