22698 search results - page 164 / 4540 » Modeling in Software Engineering |
144
Voted
ICDE
2012
IEEE
13 years 6 months ago
2012
IEEE
—Large graphs are used in many applications, such as social networking. The management of these graphs poses new challenges because such graphs are too large to fit on a single ...
145
Voted
ICSE
2009
IEEE-ACM
15 years 1 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
81
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
154
click to vote
QOSA
2007
Springer
15 years 9 months ago
2007
Springer
: Modern society relies heavily on complex software systems for everyday activities. Dependability of these systems thus has become a critical feature that determines which product...
136
Voted
WOSP
2010
ACM
15 years 3 months ago
2010
ACM
Quantitative prediction of quality properties (i.e. extrafunctional properties such as performance, reliability, and cost) of software architectures during design supports a syste...