2232 search results - page 408 / 447 » Formal Modeling and Analysis of Organizations |
65
Voted
BIRD
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We apply the concept of subset seeds proposed in [1] to similarity search in protein sequences. The main question studied is the design of efficient seed alphabets to con...
ECSA
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
COMAD
2008
14 years 11 months ago
2008
Publishing a database instance containing individual information poses two kinds of privacy risk: presence leakage, by which the attackers can explicitly identify individuals in (...
AIPS
2003
14 years 11 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
51
Voted
SODA
2004
ACM
14 years 11 months ago
2004
ACM
We introduce a new data structuring paradigm in which operations can be performed on a data structure not only in the present but also in the past. In this new paradigm, called ret...