1188 search results - page 33 / 238 » Testing Semantics: Connecting Processes and Process Logics |
120
click to vote
CICLING
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. An important aspect of discourse understanding and generation involves the recognition and processing of discourse relations. These are conveyed by discourse connectives,...
133
click to vote
CALCO
2005
Springer
15 years 7 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
115
click to vote
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
72
Voted
ITC
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper deals with Hybrid multisite testing of VLSI chips by utilizing automatic test equipment (ATE) in connection with built-in self-test (BIST). The performance of a multisi...
118
click to vote
FORTE
2007
15 years 3 months ago
2007
Web service choreography describes protocols for multiparty collaboration, whereas orchestration focuses on single peers. One key requirement of choreography is to support transact...