2253 search results - page 345 / 451 » An Approach to Specifying Software Frameworks |
137
click to vote
ENTCS
2000
15 years 3 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
156
click to vote
TON
2010
14 years 10 months ago
2010
We study the contention/interaction among wireless nodes and med -ium access control design in game theory framework. We define a general class of games, called random access game...
126
click to vote
FASE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
148
click to vote
CLA
2006
15 years 5 months ago
2006
Abstract. Design defects are poor design choices resulting in a hard-tomaintain software, hence their detection and correction are key steps of a disciplined software process aimed...
131
click to vote
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
ion Abstracts Zizhan Zheng, Qianxiang Wang, Gang Huang and Hong Mei. Design and Implementation of the Load Balancing Mechanism in PKUAS (in Chinese). ACTA ELECTRONICA SINICA, 32(12...