Sciweavers

4263 search results - page 441 / 853
» Learning without Coding
Sort
View
ICSE
2008
IEEE-ACM
16 years 7 months ago
Source-level debugging with the whyline
The visualizations of the Whyline are presented, which focus on supporting the exploration a source code and how it executes. The visualization is concise, simple to navigate, and...
Andrew J. Ko, Brad A. Myers
ESSOS
2010
Springer
16 years 3 months ago
Formally-Based Black-Box Monitoring of Security Protocols
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
Alfredo Pironti, Jan Jürjens
EUROMICRO
2009
IEEE
16 years 1 months ago
Developing Adaptable Components Using Dynamic Languages
— The usage of dynamic languages is increasing among developers. As components are static entities, the usage of scripting languages, which are usually dynamically typed and inte...
Didier Donsez, Kiev Gama, Walter Rudametkin
ICC
2009
IEEE
169views Communications» more  ICC 2009»
16 years 1 months ago
Protocols and Resource Allocation for the Two-Way Relay Channel with Half-Duplex Terminals
—The two-way relay channel (TWRC) describes the communication between two terminals sharing a common relay. In this work we compare different protocols for the TWRC with a half-d...
Adrian Agustin, Josep Vidal, Olga Muñoz
NDSS
2009
IEEE
16 years 1 months ago
Safe Passage for Passwords and Other Sensitive Data
The prevalence of malware such as keyloggers and screen scrapers has made the prospect of providing sensitive information via web pages disconcerting for security-conscious users....
Jonathan M. McCune, Adrian Perrig, Michael K. Reit...