746 search results - page 102 / 150 » Formal Analysis of UML-Based Designs |
122
Voted
TAMODIA
2007
15 years 3 months ago
2007
Abstract. Covering quality aspects such as usability through the software development life cycle is challenging. These “-ilities” are generally difficult to grasp and usually ...
108
click to vote
ESORICS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Recent years have seen unprecedented growth in the popularity of social network systems, with Facebook being an archetypical example. The access control paradigm behind t...
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
Central to the problem frames approach is the distinction of three different descriptions: requirements R, domain assumptions W and specifications S, tied together with the socall...
108
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
We present a simple ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population compute...
137
Voted
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...