Sciweavers

665 search results - page 100 / 133
» Case Study Methodology Designed Research in Software Enginee...
Sort
View
IJAOSE
2008
97views more  IJAOSE 2008»
14 years 9 months ago
Formal driven prototyping approach for multiagent systems
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
Vincent Hilaire, Pablo Gruer, Abderrafiaa Koukam, ...
DATE
2000
IEEE
140views Hardware» more  DATE 2000»
15 years 2 months ago
Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C
-- One of the greatest challenges in C/C++-based design methodology is to efficiently map C/C++ models into hardware. Many of the networking and multimedia applications implemente...
Luc Séméria, Koichi Sato, Giovanni D...
ICSE
2009
IEEE-ACM
14 years 7 months ago
Security Test Generation Using Threat Trees
Software security issues have been a major concern to the cyberspace community, so a great deal of research on security testing has been performed, and various security testing te...
Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamar...
ACMSE
2007
ACM
15 years 1 months ago
A self-testing autonomic container
Many strategies have been proposed to address the problems associated with managing increasingly complex computing systems. IBM's Autonomic Computing (AC) paradigm is one suc...
Ronald Stevens, Brittany Parsons, Tariq M. King
IWPC
1999
IEEE
15 years 2 months ago
Reconstructing Ownership Architectures To Help Understand Software Systems
Recent research suggests that large software systems should have a documented system architecture. One form of documentation that may help describe the structure of software syste...
Ivan T. Bowman, Richard C. Holt