Sciweavers

747 search results - page 36 / 150
» Toward a software development methodology for anonymity appl...
Sort
View
ASWEC
2008
IEEE
13 years 10 months ago
Towards Formalizing Resource Based Non-conformance in Business
The research presented in the literature thus far on process deviations, inconsistencies and general nonconformance have all been very generic, process wide methodologies. Their a...
Sean Thompson, Torab Torabi
ENTCS
2002
105views more  ENTCS 2002»
13 years 8 months ago
Towards component based systems: refining connectors
Component-oriented software development is becoming more and more important for the production of large-scale software applications. Today's systems are constructed by combin...
Matthias Anlauff, Asuman Sünbül
WETICE
2005
IEEE
14 years 2 months ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop
DEXAW
2005
IEEE
199views Database» more  DEXAW 2005»
14 years 2 months ago
Combining Multi-Agent-System Methodologies for Organic Computing Systems
As the complexity of computing systems steadily increases, self-managing systems – as Autonomic Computing Systems (ACS) proposed by IBM – are an adequate approach to minimize ...
Holger Kasinger, Bernhard Bauer
ECBS
1996
IEEE
93views Hardware» more  ECBS 1996»
14 years 26 days ago
A Methodology for Designing and Dimensioning Critical Complex Computing Systems
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
Gérard Le Lann