4841 search results - page 718 / 969 » On dynamic feature location |
LICS
2000
IEEE
14 years 1 months ago
2000
IEEE
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...
MOBICOM
2000
ACM
14 years 1 months ago
2000
ACM
As the recent denial-of-service attacks on several major Internet sites have shown us, no open computer network is immune from intrusions. The wireless ad-hoc network is particula...
ASPDAC
1999
ACM
14 years 1 months ago
1999
ACM
We present a novel formulation, called the WaMPDE, for solving systems with forced autonomous components. An important feature of the WaMPDE is its ability to capture frequency mo...
CHI
1999
ACM
14 years 1 months ago
1999
ACM
This paper introduces a novel interface for digitallyaugmented cooperative play. We present the concept of the "athletic-tangible interface," a new class of interaction ...
DEXAW
1999
IEEE
14 years 1 months ago
1999
IEEE
Requirements engineering ranks as one of the most difficult and error-prone phases in the life cycle of devices such as mobile telephones. It is of critical importance because of ...