3718 search results - page 431 / 744 » Programming by Integration in Robotics |
198
click to vote
SEW
2006
IEEE
16 years 1 months ago
2006
IEEE
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...
197
click to vote
CSFW
2005
IEEE
16 years 27 days ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
199
click to vote
ICALP
2003
Springer
16 years 14 days ago
2003
Springer
We consider requests for capacity in a given tree network T = (V, E) where each edge of the tree has some integer capacity ue. Each request consists of an integer demand df and a ...
202
click to vote
ASAP
2007
IEEE
15 years 11 months ago
2007
IEEE
Software-based, fine-grain control flow integrity (CFI) validation technique has been proposed to enforce control flow integrity of program execution. By validating every indirect...
208
click to vote
IADIS
2004
15 years 8 months ago
2004
A distributed monitoring system has been developed, which is organized with network cameras, an integrated web/mail server, web-based clients including high-performance cellular p...