2539 search results - page 448 / 508 » Semantic frameworks for e-government |
103
click to vote
FORMATS
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
101
click to vote
FORMATS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
111
click to vote
APAQS
2001
IEEE
15 years 1 months ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
JELIA
2000
Springer
15 years 1 months ago
2000
Springer
We present a framework for decision making with the possibility to express circumstance-dependent preferences among different alternatives for a decision. This new formalism, Order...
KR
2000
Springer
15 years 1 months ago
2000
Springer
We consider the two-fold problem of representing collective beliefs and aggregating these beliefs. We propose a novel representation for collective beliefs that uses modular, tran...