Sciweavers

4795 search results - page 308 / 959
» The Message Classification Model
Sort
View
I3E
2001
196views Business» more  I3E 2001»
15 years 8 months ago
Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
Jan Jürjens, Guido Wimmel
DAIS
2009
15 years 7 months ago
D-Praxis : A Peer-to-Peer Collaborative Model Editing Framework
Large-scale industrial systems involve nowadays hundreds of developers working on hundreds of models representing parts of the whole system specification. Unfortunately, few tool s...
Alix Mougenot, Xavier Blanc, Marie-Pierre Gervais
EDOC
2006
IEEE
16 years 22 days ago
Semi-Automatic Distribution Pattern Modeling of Web Service Compositions using Semantics
Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations ...
Ronan Barrett, Claus Pahl
CBSE
2005
Springer
16 years 6 days ago
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
Zonghua Gu, Zhimin He
CLEIEJ
2008
88views more  CLEIEJ 2008»
15 years 6 months ago
A Trust Model for a Group of E-mail Servers
E-mail services are essential in the Internet. However, the current e-mail architecture presents problems that open it to several threats. Alternatives have been proposed to solve...
Leonardo de Oliveira, Carlos Maziero