7124 search results - page 935 / 1425 » Programming Languages and Operating Systems |
163
click to vote
ASPLOS
2006
ACM
16 years 10 days ago
2006
ACM
Security has been considered as an important issue in processor design. Most of the existing mechanisms address security and integrity issues caused by untrusted main memory in si...
137
click to vote
IWPC
2005
IEEE
15 years 12 months ago
2005
IEEE
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...
180
click to vote
TOOLS
1997
IEEE
15 years 10 months ago
1997
IEEE
PROPAGATOR is a family of patterns for consistently updating objects in a dependency network. The propagator patterns are found in such diverse applications as MAKE, WWW, spreadsh...
177
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
163
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...