144 search results - page 22 / 29 » It Is Time to Mechanize Programming Language Metatheory |
99
Voted
VL
1996
IEEE
15 years 4 months ago
1996
IEEE
As multimedia applications spread widely, it is crucial for programming and design support systems to handle "time" in multimedia documents effectively and flexibly. This...
85
Voted
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
: Handoff at the link layer 2 (L2) consists of three phases including scanning, authentication, and reassociation. Among the three phases, scanning is dominant in terms of time del...
POPL
1991
ACM
15 years 3 months ago
1991
ACM
-order multiparty interaction is an abstraction mechanism that defines communication among a set of formal process roles. Actual processes participate in a first-order interactio...
CCGRID
2006
IEEE
15 years 4 months ago
2006
IEEE
Our current research into programming models for parallel web services composition is targeted at providing mechanisms for obtaining higher throughput for large scale compute and ...
111
click to vote
INAP
2001
Springer
15 years 4 months ago
2001
Springer
Mobile agent technology is an emerging technology that allows easier design, implementation, and maintenance of distributed systems. Mobility enables agents to reduce network load,...