Sciweavers

5180 search results - page 230 / 1036
» Requirements Engineering
Sort
View
SCESM
2006
ACM
239views Algorithms» more  SCESM 2006»
15 years 11 months ago
Aspect-oriented software design with a variant of UML/STD
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
Shin Nakajima, Tetsuo Tamai
SAC
2006
ACM
15 years 5 months ago
Transformation of B specifications into UML class diagrams and state machines
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz
COMPSAC
2009
IEEE
16 years 5 days ago
Log Data as Digital Evidence: What Secure Logging Protocols Have to Offer?
Abstract—While log data are being increasingly used as digital evidence in judicial disputes, the extent to which existing secure logging protocols used to collect log data fulï¬...
Rafael Accorsi
COMPSAC
2005
IEEE
15 years 11 months ago
Situation-Awareness for Adaptive Coordination in Service-Based Systems
Service-based systems have many applications, including collaborative research and development, ebusiness, health care, environmental control, military applications, and homeland ...
Stephen S. Yau, Dazhi Huang, Haishan Gong, Hasan D...
PPPJ
2003
ACM
15 years 10 months ago
Manipulation of Java agent bytecode to add roles
Roles are a powerful paradigm to develop distributed applications based on agents, especially when they are in need of interacting with other entities. An agent-oriented approach ...
Giacomo Cabri, Luca Ferrari, Letizia Leonardi