Search Sciweavers | Sciweavers

14331 search results - page 242 / 2867

» On the modeling and analysis of obligations

173

click to vote

ASP
2003
Springer

134views Automated Reasoning» more ASP 2003»

What's in a model? Epistemological analysis of Logic Programming

15 years 11 months ago

Download dtai.cs.kuleuven.be

It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...

Marc Denecker

claim paper

Read More »

146

click to vote

FM
2003
Springer

115views Formal Methods» more FM 2003»

SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis

15 years 11 months ago

Download www.ai-lab.it

Alessandro Armando, Luca Compagna, Pierre Ganty

claim paper

Read More »

134

click to vote

ICFEM
2003
Springer

102views Software Engineering» more ICFEM 2003»

A Relational Model for Formal Object-Oriented Requirement Analysis in UML

15 years 11 months ago

Download www.iist.unu.edu

Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen

claim paper

Read More »

164

click to vote

AVSS
2009
IEEE

231views Signal Processing» more AVSS 2009»

Segment Model Based Vehicle Motion Analysis

15 years 11 months ago

Download nlpr-web.ia.ac.cn

Pengfei Zhu, Weiming Hu, Xi Li, Li Li

claim paper

Read More »

111

click to vote

APSEC
2002
IEEE

92views Software Engineering» more APSEC 2002»

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers