2943 search results - page 405 / 589 » Software Implementation of Synchronous Programs |
108
Voted
COMPSAC
2008
IEEE
15 years 9 months ago
2008
IEEE
Buffer overflow (BOF) is one of the major vulnerabilities that leads to non-secure software. Testing an implementation for BOF vulnerabilities is challenging as the underlying rea...
103
click to vote
SCAM
2003
IEEE
15 years 7 months ago
2003
IEEE
Software maintenance, program analysis and transformation tools almost always rely on static source code analysis as the first and fundamental step to gather information. In the ...
119
click to vote
PROMS
2001
Springer
15 years 7 months ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...
112
Voted
ACMSE
2008
ACM
15 years 4 months ago
2008
ACM
Although researchers have been exchanging ideas on the design and development of autonomic systems, there has been little emphasis on validation. In an effort to stimulate interes...
198
Voted
VL
2010
IEEE
15 years 28 days ago
2010
IEEE
SOFIA (Artemis project: http://www.sofiaproject.eu/) focuses on answering the challenge of creating smart environments and its goal is to make information that resides in the phys...