703 search results - page 104 / 141 » Fundamentals of Session Types |
ICSE
1995
IEEE-ACM
15 years 1 months ago
1995
IEEE-ACM
Many would argue that future breakthroughs in software productivity will dependon our ability to combine existing pieces of software to produce new applications. An important step...
SIGCOMM
1991
ACM
15 years 1 months ago
1991
ACM
One of the most compelling long term problems facing the IP and emerging 0S1 Internet is growth, At the same time, policy routing-the ability of a packet source to determine the t...
HT
2009
ACM
15 years 29 days ago
2009
ACM
Adaptive hypermedia systems traditionally focus on providing personalised learning services for formal or informal learners. The learning material is typically sourced from a prop...
WSC
2008
15 years 1 days ago
2008
Recent advances in high-performance computing have pushed computational capabilities to a petaflop (a thousand trillion operations per second) in a single computing cluster. This ...
ASSETS
2008
ACM
14 years 11 months ago
2008
ACM
Tablet PCs are gaining popularity, but many users, particularly older ones, still struggle with pen-based interaction. One type of error, drifting, occurs when users accidentally ...