Sciweavers

3987 search results - page 330 / 798
» Ontology-Based Model Transformation
Sort
View
165
Voted
SIGMETRICS
2005
ACM
104views Hardware» more  SIGMETRICS 2005»
16 years 9 days ago
Message delay in MANET
A generic stochastic model with only two input parameters is introduced to evaluate the message delay in mobile ad hoc networks (MANETs) where nodes may relay messages. The Laplac...
Robin Groenevelt, Philippe Nain, Ger Koole
SEKE
2005
Springer
16 years 7 days ago
A State-Based Approach to Testing Aspect-Oriented Programs
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
Dianxiang Xu, Weifeng Xu, Kendall E. Nygard
ECMDAFA
2006
Springer
226views Hardware» more  ECMDAFA 2006»
15 years 8 months ago
Definition and Generation of Data Exchange Formats in AUTOSAR
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...
Mike Pagel, Mark Brörkens
WSC
1998
15 years 8 months ago
An Object-Oriented Environment for Fast Simulation Using Compiler Techniques
In this paper, an efficient simulation environment that utilizes compiler techniques to speed up simulation is presented. The method is based on the utilization of flexible, proce...
Yiqing Huang, Ravishankar K. Iyer
SCN
2008
Springer
116views Communications» more  SCN 2008»
15 years 6 months ago
General Certificateless Encryption and Timed-Release Encryption
While recent timed-release encryption (TRE) schemes are implicitly supported by a certificateless encryption (CLE) mechanism, the security models of CLE and TRE differ and there is...
Sherman S. M. Chow, Volker Roth, Eleanor G. Rieffe...