10055 search results - page 1848 / 2011 » Structured programming using processes |
DSOM
1999
Springer
14 years 1 months ago
1999
Springer
The backup of large data sets is preferably performed automatically outside of regular working hours. In highly structured computer networks, however, faults and exceptions may rel...
WETICE
1999
IEEE
14 years 1 months ago
1999
IEEE
Virtual organisations within and across enterprise structures are becoming mature as a potentially effective means for goal oriented business teamwork. Among the plentyful of supp...
IUI
1998
ACM
14 years 1 months ago
1998
ACM
Providing access to digital libraries will require interfaces that effectively mediate between the retrieval needs of library users and the materials that the library has to offer...
CAV
1998
Springer
14 years 1 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
VTS
1997
IEEE
14 years 1 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...