4693 search results - page 696 / 939 » Verifying Hybrid Systems |
154
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Virtual machines are widely accepted as a promising basis for building secure systems. However, while virtual machines offer effective mechanisms to create isolated environments, ...
172
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
150
click to vote
DAWAK
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Data mining algorithms are often embedded in more complex systems, serving as the provider of data for internal decision making within these systems. In this paper we add...
142
Voted
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Weighted voting games are a popular model of collaboration in multiagent systems. In such games, each agent has a weight (intuitively corresponding to resources he can co...
156
Voted
LREC
2010
15 years 7 months ago
2010
Question answering (QA) systems aim at retrieving precise information from a large collection of documents. To be considered as reliable by users, a QA system must provide element...