703 search results - page 67 / 141 » Fundamentals of Session Types |
149
Voted
CSL
2007
Springer
15 years 9 months ago
2007
Springer
Calculi with explicit substitutions (ES) are widely used in different areas of computer science. Complex systems with ES were developed these last 15 years to capture the good comp...
131
Voted
ECOWS
2007
Springer
15 years 9 months ago
2007
Springer
The current Web service technology brought a new potential to the Web of services. However, the success of Web services still depends on resolving three fundamental challenges, na...
142
Voted
SSD
2007
Springer
15 years 9 months ago
2007
Springer
The notion of a map is a fundamental metaphor in spatial disciplines. However, there currently exist no adequate data models for maps that define a precise spatial data type for m...
105
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
MCTF has been widely used in wavelet based video coding due to its attractive features. For MCTF based codecs, a fundamental question is how to allocate bits to each temporal band...
99
Voted
ACSC
2005
IEEE
15 years 9 months ago
2005
IEEE
Knowledge acquisition (KA) plays an important role in building knowledge based systems (KBS). However, evaluating different KA techniques has been difficult because of the costs...