Sciweavers

2725 search results - page 103 / 545
» A framework for P2P application development
Sort
View
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
15 years 4 months ago
An MDE methodology for the development of high-integrity real-time systems
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
Silvia Mazzini, Stefano Puri, Tullio Vardanega
ICSE
2009
IEEE-ACM
14 years 7 months ago
Slede: Framework for automatic verification of sensor network security protocol implementations
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
Youssef Hanna, Hridesh Rajan
DANCE
2002
IEEE
15 years 2 months ago
A Framework for Building Complex Netcentric Systems on Active Network
Active applications can add value to communication. Yet it involves sophisticated domain knowledge and complex development process. In this paper we discuss a framework for the co...
Javed I. Khan, Seung Su Yang
COMPSAC
1998
IEEE
15 years 2 months ago
Software Engineering for Scalable Distributed Applications
A major problem in the development of distributed applications is that we cannot assume that the environment in which the application is to operate will remain the same. This mean...
Maarten van Steen, Stefan Van der Zijden, Henk J. ...
CRIWG
2003
14 years 11 months ago
A Conceptual Framework for Analyzing the Use of Context in Groupware
This article presents a conceptual framework for the identification and classification of contextual elements included in groupware applications. Contextual elements store informat...
Márcio G. P. Rosa, Marcos R. S. Borges, Fl&...