Sciweavers

8766 search results - page 1238 / 1754
» Functional logic programming
Sort
View
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
EDBTW
2006
Springer
15 years 9 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
HPCN
2000
Springer
15 years 9 months ago
Dynamic Reconfiguration in Coordination Languages
A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such a...
George A. Papadopoulos, Farhad Arbab
« Prev « First page 1238 / 1754 Last » Next »