433 search results - page 77 / 87 » Tag-switching architecture: overview |
ARES
1998
Springer
14 years 28 days ago
1998
Springer
The product line for software systems (PL) approach has been touted recently as one of the most promising development approach for gains in product quality, time to market and cost...
MM
1996
ACM
14 years 26 days ago
1996
ACM
Creating high-quality multimediapresentationsrequiresmuch skill, time, and effort. This is particularly true when temporal media, such as speech and animation, are involved. We de...
ICRA
1994
IEEE
14 years 25 days ago
1994
IEEE
The Self-Mobile Space Manipulator (SM2) has evolved to adapt to the new pre-integrated I-beam structure of the Space Station Freedom (SSF). In this paper, we first briefly overvie...
DMSN
2007
ACM
14 years 19 days ago
2007
ACM
Many sensor network applications monitor continuous phenomena by sampling, and fit time-varying models that capture the phenomena's behaviors. We introduce Pulse, a framework...
ITP
2010
14 years 18 days ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...