Search Sciweavers | Sciweavers

2293 search results - page 60 / 459

» Temporal Logic in Information Systems

350

click to vote

AMCS
2011

341views Mathematics» more AMCS 2011»

FSP and FLTL framework for specification and verification of middle-agents

15 years 1 months ago

Download versita.metapress.com

Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...

Amelia Badica, Costin Badica

claim paper

Read More »

145

click to vote

ICCS
2005
Springer

118views Applied Computing» more ICCS 2005»

Arbitrary Relations in Formal Concept Analysis and Logical Information Systems

16 years 7 days ago

Download www.irisa.fr

Sébastien Ferré, Olivier Ridoux, Ben...

claim paper

Read More »

130

click to vote

CLA
2007

186views Artificial Intelligence» more CLA 2007»

Camelis: Organizing and Browsing a Personal Photo Collection with a Logical Information System

15 years 8 months ago

Download sunsite.informatik.rwth-aachen.de

Sébastien Ferré

claim paper

Read More »

150

click to vote

DAGSTUHL
1998

95views Software Engineering» more DAGSTUHL 1998»

Introduction to Logics for Databases and Information Systems

15 years 8 months ago

Download wwwiti.cs.uni-magdeburg.de

Jan Chomicki, Gunter Saake

claim paper

Read More »

128

click to vote

DAGSTUHL
1998

100views Software Engineering» more DAGSTUHL 1998»

Evolving Logical Specification in Information Systems

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers