2836 search results - page 36 / 568 » Model Checking for Software Architectures |
135
Voted
KBSE
2002
IEEE
15 years 10 months ago
2002
IEEE
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate—the software is expected to ...
238
click to vote
ICOODB
2010
15 years 3 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
150
click to vote
ICECCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...
147
Voted
SNPD
2008
15 years 6 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
124
Voted
PEPM
2009
ACM
16 years 2 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...