5243 search results - page 990 / 1049 » Reasoning About Strategies |
163
click to vote
CIARP
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. An important problem in the bioinformatics field is to understand how genes are regulated and interact through gene networks. This knowledge can be helpful for many appl...
209
click to vote
ICFEM
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
175
click to vote
ICFEM
2009
Springer
16 years 18 days ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
166
click to vote
MDM
2009
Springer
16 years 18 days ago
2009
Springer
—With the growing popularity of social networking, traditional Internet Service Providers (ISPs) and Telecom operators have both started exploring new opportunities to boost thei...
193
click to vote
UM
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. Reconciling personalization with privacy has been a continuing interest in the user modeling community. In prior work, we proposed a dynamic privacy-enhancing user modeli...