396 search results - page 43 / 80 » A Software Component Model and Its Preliminary Formalisation |
124
click to vote
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
We argue that finding vulnerabilities in software components is different from finding exploits against them. Exploits that compromise security often use several low-level details...
137
click to vote
ESTIMEDIA
2006
Springer
15 years 8 months ago
2006
Springer
Parallelization of embedded software is often desirable for power/performance-related considerations for computation-intensive applications that frequently occur in the signal-pro...
146
click to vote
CGI
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...
125
click to vote
WSC
1997
15 years 5 months ago
1997
SimTutor is a multimedia intelligent tutoring system (ITS) for simulation modeling. Multimedia systems are now de facto standard on personal computers and increasing number of int...
158
click to vote
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...