Sciweavers

1934 search results - page 233 / 387
» Application specific NoC design
Sort
View
ICSE
2008
IEEE-ACM
16 years 7 months ago
Formal verification of an automotive scenario in service-oriented computing
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Fr...
AH
2008
Springer
16 years 23 days ago
Supporting Users in Creating Pedagogically Sound Personalised Learning Objects
Successful eLearning is predicated on the application of pedagogies appropriate to online education that respond to the capabilities and needs of the learners. Typically, designing...
Aoife Brady, Owen Conlan, Vincent Wade, Declan Dag...
DATE
2007
IEEE
85views Hardware» more  DATE 2007»
16 years 23 days ago
Timing simulation of interconnected AUTOSAR software-components
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
Matthias Krause, Oliver Bringmann, André He...
ICC
2007
IEEE
170views Communications» more  ICC 2007»
16 years 22 days ago
Evaluating Techniques for Network Layer Independence in Cognitive Networks
— Cognitive networks are the latest progression of cognitive functionality into the networking stack, an effort which began with a layer one and two focus on cognitive radios, an...
Muthukumaran Pitchaimani, Benjamin J. Ewy, Joseph ...
CSEE
2007
Springer
16 years 17 days ago
Electronic Portfolios through a Qualitative Lens
This report illustrates the use of qualitative methods and an interpretive framework (Cultural Historical Activity Theory) to examine educational interventions. The techniques are...
Rebecca L. Fiedler, Cem Kaner