4460 search results - page 421 / 892 » Formal methods for interactive systems |
178
click to vote
SBMF
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
195
click to vote
CP
1995
Springer
15 years 10 months ago
1995
Springer
Object-based knowledge representation systems bene t from the declarative power of the object formalism for modeling, organizing and storing large amounts of knowledge. They also ...
202
Voted
FORMATS
2005
Springer
16 years 11 days ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
197
Voted
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
Replication is widely used in unstructured peer-to-peer systems to improve search or achieve availability. We identify and solve a subclass of replication problems where each obje...
158
click to vote
HT
2005
ACM
16 years 12 days ago
2005
ACM
Conversion between different adaptive hypermedia systems has barely been proposed, yet alone tested in realistic settings. This paper presents the evaluation of the interoperabili...