11168 search results - page 1737 / 2234 » Abstract State Processes |
119
click to vote
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
123
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— In label-switched networks such as MPLS, protection routing involves computing and setting up the backup paths at the same time when the primary paths are routed. It ha...
148
click to vote
SSDBM
2006
IEEE
15 years 10 months ago
2006
IEEE
Signaling pathways are chains of interacting proteins, through which the cell converts a (usually) extracellular signal into a biological response. The number of known signaling p...
140
click to vote
MSR
2006
ACM
15 years 10 months ago
2006
ACM
When analyzing the evolution history of a software project, we wish to develop results that generalize across projects. One approach is to analyze design patterns, permitting char...
138
click to vote
MTV
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— Owing to the recent trend of using applicationspecific instruction-set processors (ASIP), many Architecture Description Languages (ADLs) have been created. They specif...