1216 search results - page 135 / 244 » Hybrid type checking |
127
Voted
WSC
2008
15 years 6 months ago
2008
Traditionally call centres were based on circuit-switched systems. But with the advancement of communication technologies, call centres have shifted to packet-switched systems. Th...
122
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
—A new approach for designing t-UED and BUED code checkers is presented. In particular we consider Borden codes for t = 2k − 1, Bose and Bose-Lin codes. The design technique fo...
121
click to vote
FM
1997
Springer
15 years 8 months ago
1997
Springer
In this paper an extension of the IFAD VDM-SL Toolbox with a proof obligation generator is described. Static type checking in VDM is undecidable in general and therefore the type c...
158
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...
116
click to vote
ACL
1993
15 years 5 months ago
1993
We propose a distinction between two kinds of metonymy: "referential" metonymy, in which the referent of an NP is shifted, and "predicative" metonymy, in which...