409 search results - page 24 / 82 » A Graphically Based Language for Constructing, Executing and... |
139
Voted
TAP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
137
Voted
EUROSYS
2007
ACM
15 years 7 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
130
Voted
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational seTh...
127
Voted
WSC
2000
15 years 5 months ago
2000
Significant advances have been made in the field of construction process modeling. However, no convenient graphical support tools exist that can depict the modeled operations in 3...
125
Voted
APSEC
2003
IEEE
15 years 9 months ago
2003
IEEE
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...