Sciweavers

4757 search results - page 537 / 952
» Monads for Functional Programming
Sort
View
161
Voted
SIGDOC
1992
ACM
15 years 11 months ago
Documenting software systems with views
Softwareprofessionals rely on internaldocumentationas an aid in understanding programs. Unfortunately, the documentation for most programs is usually out-of-date and cannot be tru...
Scott R. Tilley, Hausi A. Müller, Mehmet A. O...
IFIP
2010
Springer
15 years 10 months ago
Improvement of Robotic Micromanipulations Using Chemical Functionalisations
: Robotic microhandling is disturbed by the adhesion phenomenon between the micro-object and the grippers. This phenomenon is directly linked to both the object and the gripper sur...
Jérôme Dejeu, Patrick Rougeot, Micha&...
ACMSE
2004
ACM
15 years 10 months ago
Methods for the prevention, detection and removal of software security vulnerabilities
Over the past decade, the need to build secure software has become a dominant goal in software development. Consequently, software researchers and practitioners have identified wa...
Jay-Evan J. Tevis, John A. Hamilton Jr.
CSFW
2004
IEEE
15 years 10 months ago
Enforcing Robust Declassification
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems perform intentional release of sensitive informat...
Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic
173
Voted
EDBTW
2006
Springer
15 years 10 months ago
Twelve Theses on Reactive Rules for the Web
Reactivity, the ability to detect and react to events, is an essential functionality in many information systems. In particular, Web systems such as online marketplaces, adaptive (...
François Bry, Michael Eckert