4887 search results - page 489 / 978 » System Level Design Using C |
176
click to vote
ACSW
2006
15 years 8 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
204
Voted
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
176
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
We address the dependence of critical infrastructures— including electric power, telecommunications, finance and transportation—on vulnerable information systems. Our approach...
166
Voted
ICALT
2006
IEEE
16 years 26 days ago
2006
IEEE
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...
146
click to vote
IWPC
1999
IEEE
15 years 11 months ago
1999
IEEE
Recent research suggests that large software systems should have a documented system architecture. One form of documentation that may help describe the structure of software syste...