Search Sciweavers | Sciweavers

agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...

Anand S. Rao, Michael P. Georgeff

claim paper

Read More »

click to vote

DPD
2010

105views more DPD 2010»

Beyond soundness: on the verification of semantic business process models

15 years 3 months ago

Download www.loria.fr

Ingo Weber, Jörg Hoffmann, Jan Mendling

claim paper

Read More »

111

click to vote

CSL
2008
Springer

123views Automated Reasoning» more CSL 2008»

Explicit modelling of session variability for speaker verification

15 years 3 months ago

Download eprints.qut.edu.au

Robbie Vogt, Sridha Sridharan

claim paper

Read More »

click to vote

JISE
2006

41views more JISE 2006»

Verification of UML Model Elements Using B

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers