5407 search results - page 732 / 1082 » The Software Engineering Global Model |
247
click to vote
ADAEUROPE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract: This paper proposes a strategy to manage the schedulability of realtime component-based applications that is fully compatible with the concept of component viewed as a re...
221
click to vote
SEKE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
192
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
Despite increasing efforts in detecting and managing software security vulnerabilities, the number of security attacks is still rising every year. As software becomes more complex...
175
click to vote
JSAC
2006
15 years 7 months ago
2006
Abstract--We present a novel approach for joint optical network provisioning and Internet protocol (IP) traffic engineering, in which the IP and optical networks collaboratively op...
194
click to vote
SEKE
2004
Springer
16 years 23 days ago
2004
Springer
People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday sof...