Sciweavers

2880 search results - page 246 / 576
» Aspects of Memory Management
Sort
View
ISSE
2010
15 years 5 months ago
URDAD as a semi-formal approach to analysis and design
The Use Case, Responsibility Driven Analysis and Design (URDAD) methodology is a methodology for technology neutral design generating the Platform Independent Model of the Object M...
Fritz Solms, Dawid Loubser
SBP
2010
Springer
15 years 5 months ago
Mitigating Issues Related to the Modeling of Insurgent Recruitment
Modeling the specific motivations and influences related to an individual‘s decision to become involved in insurgent warfare presents its own collection of unique challenges. The...
Erica Briscoe, Ethan Trewhitt, Lora Weiss, Elizabe...
SIGSOFT
2010
ACM
15 years 4 months ago
Lawful software engineering
Legislation is constantly affecting the way in which software developers can create software systems, and deliver them to their users. This raises the need for methods and tools t...
Daniel M. Germán, Jens H. Webber, Massimili...
FGCN
2007
IEEE
16 years 1 months ago
An Evalulation of the Pool Maintenance Overhead in Reliable Server Pooling Systems
Reliable Server Pooling (RSerPool) is a protocol framework for server redundancy and session failover, currently still under standardization by the IETF RSerPool WG. An important ...
Thomas Dreibholz, Erwin P. Rathgeb
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
15 years 11 months ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard