7961 search results - page 183 / 1593 » Input-Output Model Programs |
103
Voted
AOSD
2005
ACM
15 years 9 months ago
2005
ACM
Even when working on a well-modularized software system, programmers tend to spend more time navigating the code than working with it. This phenomenon arises because it is impossi...
134
Voted
JELIA
2000
Springer
15 years 7 months ago
2000
Springer
We present a framework for decision making with the possibility to express circumstance-dependent preferences among different alternatives for a decision. This new formalism, Order...
122
Voted
LCTRTS
2004
Springer
15 years 8 months ago
2004
Springer
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
139
click to vote
NMR
2004
Springer
15 years 8 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
132
click to vote
HIPS
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper describes Rthreads (Remote threads), a software distributed shared memory system that supports sharing of global variables on clusters of computers with physically dist...