4126 search results - page 569 / 826 » Set based logic programming |
164
click to vote
IPSN
2007
Springer
16 years 23 days ago
2007
Springer
This demonstration shows the programming development suite of the RETOS operating system for sensor networks, which provides a robust and multithreaded programming interface to ap...
196
click to vote
ACMSE
2006
ACM
16 years 18 days ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
171
click to vote
APLAS
2004
ACM
16 years 1 days ago
2004
ACM
Abstract. In component-based programming, the programmer assembles applications from prefabricated components. The assembly process has two main steps: adapting a component by twea...
170
Voted
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
172
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...