Sciweavers

9821 search results - page 160 / 1965
» A Framework for the Development of Protocols
Sort
View
AICOM
2002
96views more  AICOM 2002»
15 years 4 months ago
Comparing environments for developing software agents
In the last years, dozens of environments for modeling, testing and finally implementing multi-agent systems have been developed. Unfortunately, no standard criteria for understand...
Thomas Eiter, Viviana Mascardi
CAISE
2005
Springer
15 years 10 months ago
Building a Software Factory for Pervasive Systems Development
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...
Javier Muñoz, Vicente Pelechano
ACISP
2004
Springer
15 years 10 months ago
Protocols with Security Proofs for Mobile Applications
The Canetti-Krawczyk (CK) model is useful for building reusable components that lead to rapid development of secure protocols, especially for engineers working outside of the secur...
Yiu Shing Terry Tin, Harikrishna Vasanta, Colin Bo...
LREC
2010
132views Education» more  LREC 2010»
15 years 6 months ago
Resources for Controlled Languages for Alert Messages and Protocols in the European Perspective
This paper is concerned with resources for controlled languages for alert messages and protocols in the European perspective. These resources have been produced as the outcome of ...
Sylviane Cardey, Krzysztof Bogacki, Xavier Blanco,...
ICSM
2006
IEEE
15 years 10 months ago
Supporting Collaborative Development in an Open MDA Environment
The MDA approach aims to ease software maintenance faced with platform and business evolution. In this approach, main development artifacts, i.e. models, are defined with the Meta...
Prawee Sriplakich, Xavier Blanc, Marie-Pierre Gerv...