4341 search results - page 319 / 869 » Quantitative Model checking |
177
click to vote
RTSS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
168
click to vote
AAAI
1998
15 years 8 months ago
1998
SSFisasystemtodiscoverthestructureofsimultaneous equations governing an objective process through experiments. SSF combined with another system SDS to discover a quantitative form...
174
click to vote
COLING
2002
15 years 6 months ago
2002
Text representation is a central task for any approach to automatic learning from texts. It requires a format which allows to interrelate texts even if they do not share content w...
152
click to vote
SODA
2010
ACM
16 years 4 months ago
2010
ACM
Stochastic games are a natural model for open reactive processes: one player represents the controller and his opponent represents a hostile environment. The evolution of the syste...
158
click to vote
IJITM
2010
15 years 5 months ago
2010
: Enterprise architecture (EA) frameworks are used to ensure interoperability of information systems and improve the effectiveness and efficiency of business organisations. Several...