Sciweavers

452 search results - page 65 / 91
» System Level Hardware-Software Design Exploration with XCS
Sort
View
CASES
2006
ACM
14 years 2 months ago
A case study of multi-threading in the embedded space
The continuing miniaturization of technology coupled with wireless networks has made it feasible to physically embed sensor network systems into the environment. Sensor net proces...
Greg Hoover, Forrest Brewer, Timothy Sherwood
ACSW
2006
13 years 10 months ago
Formal analysis of secure contracting protocol for e-tendering
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
Rong Du, Ernest Foo, Colin Boyd, Kim-Kwang Raymond...
ICALT
2006
IEEE
14 years 3 months ago
A Relationship between e-Learning Performance and Personality
This paper investigated whether learner’s personality features might have effects on uses of Web-based Hypermedia Systems, which has been used in the electronic learning (e-Lear...
Amal Al-Dujaily, Hokyoung Ryu
OOPSLA
2005
Springer
14 years 2 months ago
A software product line architecture for distributed real-time and embedded systems: a separation of concerns approach
This paper presents a separation of concerns approach to solve the tangling problem of functional and Quality of Service (QoS) concerns in traditional Component-based Software Eng...
Shih-Hsi Liu
VRML
2004
ACM
14 years 2 months ago
PathSim visualizer: an Information-Rich Virtual Environment framework for systems biology
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...
Nicholas F. Polys, Doug A. Bowman, Chris North, Re...