12697 search results - page 54 / 2540 » Call for Papers |
FORTE
2007
15 years 1 months ago
2007
This paper proposes a diagnosis framework for distributed systems based on pomset languages. Diagnosis is performed by projecting these models on a collection of observable labels ...
ICCBSS
2005
Springer
15 years 5 months ago
2005
Springer
This paper proposes the adoption of a goal-based method called GBRAM for facilitating the process of building taxonomies of COTS components. Since GBRAM was defined in a different ...
112
click to vote
LCPC
1999
Springer
15 years 4 months ago
1999
Springer
Since the C language imposes little restriction on the use of function pointers, the task of call graph construction for a C program is far more di cult than what the algorithms d...
CN
2002
14 years 11 months ago
2002
Due to the scarcity of the spectral resources and mobility of the portables, the call attempts may be blocked during call initiation or terminated during the hand-off process. Whe...
CORR
2011
Springer
14 years 6 months ago
2011
Springer
B-Prolog is a high-performance implementation of the standard Prolog language with several extensions including matching clauses, action rules for event handling, finite-domain c...