Sciweavers

520 search results - page 45 / 104
» Contributing to eclipse: A case study
Sort
View
AOSE
2001
Springer
15 years 4 months ago
Agent Oriented Analysis Using Message/UML
This paper presents the MESSAGE/UML agent oriented software engineering methodology and illustrates it on an analysis case study. The methodology covers MAS analysis and design an...
Giovanni Caire, Wim Coulier, Francisco J. Garijo, ...
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
15 years 4 months ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
DIAU
2000
Springer
15 years 4 months ago
Protection Profiles for Remailer Mixes
In the past independent IT security evaluation according to published criteria has not realized its potential for the assessment of privacy enhancing technologies (PETs). Main rea...
Giovanni Iachello, Kai Rannenberg
DATE
2010
IEEE
139views Hardware» more  DATE 2010»
15 years 4 months ago
Pareto efficient design for reconfigurable streaming applications on CPU/FPGAs
We present a Pareto efficient design method for multi-dimensional optimization of run-time reconfigurable streaming applications on CPU/FPGA platforms, which automatically allocate...
Jun Zhu, Ingo Sander, Axel Jantsch
BPM
2006
Springer
140views Business» more  BPM 2006»
15 years 3 months ago
Understanding Interdependence in Enterprise Systems: A Model and Measurement Formalism
Interdependence between the subsystems of an enterprise is one of the driving reasons for integrating the enterprise. Integration attempts to manage those interdependencies so all ...
Ronald E. Giachetti