1615 search results - page 47 / 323 » What's new |
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
In recent literature, many authors argue that “Web development” is new and different. The arguments are, however, both debatable and debated, and often it is neither clear wha...
KR
1998
Springer
14 years 1 months ago
1998
Springer
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
EUMAS
2006
13 years 11 months ago
2006
Abstract. Support for new forms of organization and social interaction requires understanding the influence of structure on behavior. Goal dependencies indicate some relationship b...
PC
2007
13 years 9 months ago
2007
The MPI-2 Standard has carefully specified the interaction between MPI and usercreated threads. The goal of this specification is to allow users to write multithreaded MPI progr...
CAV
1998
Springer
14 years 1 months ago
1998
Springer
It has become good practice to expect authors of new model checking algorithms to provide not only rigorous evidence of the algorithms correctness, but also evidence of their pract...