Search Sciweavers | Sciweavers

579 search results - page 13 / 116

» On a Temporal Logic for Object-Based Systems

154

click to vote

ATAL
2003
Springer

107views Intelligent Agents» more ATAL 2003»

Engineering commitment-based multiagent systems: a temporal logic approach

15 years 11 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 »

143

click to vote

MMMACNS
2005
Springer

119views Information Technology» more MMMACNS 2005»

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

15 years 11 months ago

Download www.cnas.org.tn

Slim Rekhis, Noureddine Boudriga

claim paper

Read More »

127

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

15 years 11 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

138

click to vote

KBSE
2002
IEEE

110views Software Engineering» more KBSE 2002»

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

15 years 10 months ago

Download dc.exa.unrc.edu.ar

Nazareno Aguirre, T. S. E. Maibaum

claim paper

Read More »

147

click to vote

LICS
1995
IEEE

111views Automated Reasoning» more LICS 1995»

Complete Proof Systems for First Order Interval Temporal Logic

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers