Sciweavers

1323 search results - page 129 / 265
» Extended Modeling Languages for Interaction Protocol Design
Sort
View
RE
2010
Springer
14 years 10 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
CEEMAS
2005
Springer
15 years 9 months ago
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
Ambra Molesini, Enrico Denti, Andrea Omicini
IEEEAMS
2002
IEEE
15 years 8 months ago
Understanding Consistency Maintenance in Service Discovery Architectures in Response to Message Loss
Current trends suggest future software systems will comprise collections of components that combine and recombine dynamically in reaction to changing conditions. Service-discovery...
Christopher Dabrowski, Kevin L. Mills, Jesse Elder
EJC
2008
15 years 5 months ago
Conceptual Modeling of IS-A Hierarchies for XML
In this paper we briefly describe a new conceptual model for XML called XSEM. It is a combination of several approaches in the area. It divides the conceptual modeling process to c...
Martin Necasky, Jaroslav Pokorný
ISORC
1998
IEEE
15 years 8 months ago
The Time-Triggered Architecture
The Time-Triggered Architecture (TTA) provides a computing infrastructure for the design and implementation of dependable distributed embedded systems. A large real-time applicatio...
Hermann Kopetz