4636 search results - page 701 / 928 » Application of Linguistic Techniques for Use Case Analysis |
IFIP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
101
click to vote
IPPS
2009
IEEE
15 years 6 months ago
2009
IEEE
We introduce the problem of managing a FIFO buffer of bounded space, where arriving packets have dependencies among them. Our model is motivated by the scenario where large data f...
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
— EMG-to-force estimation for voluntary muscle contraction has many applications in human-machine interaction, motion analysis, and rehabilitation robotics for prosthetic limbs o...
103
click to vote
ASIACRYPT
2008
Springer
15 years 1 months ago
2008
Springer
This paper introduces fast algorithms for performing group operations on twisted Edwards curves, pushing the recent speed limits of Elliptic Curve Cryptography (ECC) forward in a ...
BIOCOMP
2006
15 years 20 days ago
2006
- Web services is distributed computing technology that provides software services over the Web. The Cyberinfrastructure Group at the Virginia Bioinformatics Institute (VBI) has ad...