8623 search results - page 1492 / 1725 » Software engineering for secure systems |
165
click to vote
CODES
2003
IEEE
15 years 10 months ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...
150
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
152
Voted
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Because it is an integral part of the Internet routing apparatus, and because it allows multiple instances of the same service to be "naturally" discovered, IP Anycast h...
157
click to vote
CGO
2010
IEEE
15 years 12 months ago
2010
IEEE
Managed runtime systems, such as a Java virtual machine (JVM), are complex pieces of software with many interacting components. The Just-In-Time (JIT) compiler is at the core of t...
170
click to vote
ICSM
2008
IEEE
15 years 11 months ago
2008
IEEE
Up-to-date comments are critical for the successful evolution of a software application. When modifying a function, developers may update the comment associated with the function ...