1153 search results - page 111 / 231 » The Complexity of Revision, Revised |
160
click to vote
ASWEC
2008
IEEE
16 years 15 days ago
2008
IEEE
Viewpoint-based conceptual modeling is concerned with the identification of a complete and coherent set of software models that have been developed with the involvement of variou...
139
click to vote
CEC
2008
IEEE
16 years 15 days ago
2008
IEEE
— Inspired from bacteria, a gene regulatory network model for signal transduction is presented in this paper. After describing experiments on stabilizing the population size for ...
151
click to vote
IPPS
2007
IEEE
16 years 9 days ago
2007
IEEE
The Cray MTA-2 system provides exceptional performance on a variety of sparse graph algorithms. Unfortunately, it was an extremely expensive platform. Cray is preparing an Eldorad...
136
click to vote
KBSE
2007
IEEE
16 years 9 days ago
2007
IEEE
We present a divide-and-conquer method, called DiConic, for automatic addition of failsafe fault-tolerance to distributed programs, where a failsafe program guarantees to meet its...
134
click to vote
LICS
2007
IEEE
16 years 9 days ago
2007
IEEE
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...