5961 search results - page 665 / 1193 » Design Science and Software Engineering |
206
click to vote
QSIC
2005
IEEE
16 years 16 days ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
188
click to vote
QSIC
2005
IEEE
16 years 16 days ago
2005
IEEE
This paper presents a mechanism for dividing an agent oriented application into the three IEEE defined scoping levels of essential, conditional and optional. This mechanism is ap...
173
click to vote
SCAM
2005
IEEE
16 years 16 days ago
2005
IEEE
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...
188
click to vote
SCAM
2005
IEEE
16 years 16 days ago
2005
IEEE
Long-running, heavily multi-threaded, Java server applications make stringent demands of garbage collector (GC) performance. Synchronisation of all application threads before garb...
165
click to vote
SEFM
2005
IEEE
16 years 16 days ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...