251 search results - page 24 / 51 » Pure Type Systems without Explicit Contexts |
ICDCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Communication-induced checkpointing protocols that ensure rollback-dependency trackability (RDT) guarantee important properties to the recovery system without explicit coordinatio...
FM
2006
Springer
13 years 11 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
HICSS
2010
IEEE
14 years 2 months ago
2010
IEEE
We studied the evolution of an online innovation community and users’ interaction behavior through social network analysis to explore how to build an innovation community and ge...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Many information systems (IS) studies portray use as an indicator of system success. However, “simply saying that more use will yield more benefits without considering the natur...
LOBJET
2006
13 years 7 months ago
2006
ABSTRACT. Aspect-orientation promises better modularity than pure object-oriented decomposition. A typical benefit of increased modularity is ease of maintenance, evolution and reu...