1525 search results - page 238 / 305 » Formal Models for Communication-Based Design |
110
click to vote
ASE
2007
15 years 24 days ago
2007
In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of securit...
94
Voted
ENTCS
2006
15 years 20 days ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
101
click to vote
ICML
2007
IEEE
16 years 1 months ago
2007
IEEE
We provide a framework to exploit dependencies among arms in multi-armed bandit problems, when the dependencies are in the form of a generative model on clusters of arms. We find ...
98
Voted
SIGSOFT
2001
ACM
16 years 1 months ago
2001
ACM
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
ICTAI
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents a grammar-induction based approach to partitioning a Web page into several small pages while each small page fits not only spatially but also logically for mob...