3435 search results - page 141 / 687 » Aspect Model Unweaving |
133
click to vote
SDL
2007
15 years 6 months ago
2007
Abstract. It is still the case that language descriptions have lots of semantic information captured using plain (English) text. These imprecise descriptions are hardly usable for ...
168
click to vote
AB
2008
Springer
15 years 11 months ago
2008
Springer
Boolean networks (BNs) are known as a mathematical model of genetic networks. In this paper, we overview algorithmic aspects of inference, analysis and control of BNs while focusin...
128
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
We discuss a number of fundamental areas in which biologically inspired computing has so far failed to mirror biological reality. These failures make it difficult for those who st...
154
click to vote
PET
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
108
click to vote
CG
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we explore the tactical aspects needed for the creation of an intelligent computer-pool player. The research results in three modifications to our previous model. An ...