2878 search results - page 237 / 576 » Analyzing the Uses of a Software Modeling Tool |
171
click to vote
WOSP
2010
ACM
16 years 1 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
171
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
173
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
Many software projects have failed because their requirements were poorly negotiated among stakeholders. Requirements negotiation is more critical than other factors such as tools...
219
click to vote
HPCA
2009
IEEE
16 years 7 months ago
2009
IEEE
Software cache-based side channel attacks present serious threats to modern computer systems. Using caches as a side channel, these attacks are able to derive secret keys used in ...
165
click to vote
FORMATS
2005
Springer
16 years 4 days ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...