2293 search results - page 158 / 459 » Temporal Logic in Information Systems |
151
click to vote
TIME
2005
IEEE
16 years 11 days ago
2005
IEEE
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...
251
click to vote
JNSM
2002
15 years 6 months ago
2002
Realizing high volume of data transmission in real time communication in a highly dynamic architecture like Mobile Ad hoc Networks (MANET) still remains a major point of research....
164
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
160
click to vote
ENTCS
2008
15 years 6 months ago
2008
The Brane Calculus is a calculus intended to model the structure and the dynamics of biological membranes. In order to express properties of systems in this calculus, in previous ...
177
click to vote
AVI
2000
15 years 8 months ago
2000
A multiple view system uses two or more distinct views to support the investigation of a single conceptual entity. Many such systems exist, ranging from computer-aided design (CAD...