2748 search results - page 218 / 550 » Generating Object-Z Specifications from Use Cases |
91
Voted
ISIM
2007
15 years 2 months ago
2007
The paper discusses a choice of appropriate software architecture with regards to the specifications of embedded applications as information systems particularly used in area of ra...
100
Voted
PR
2008
15 years 22 days ago
2008
We present a method for spotting sporadically occurring gestures in a continuous data stream from body-worn inertial sensors. Our method is based on a natural partitioning of cont...
81
Voted
CRYPTO
2004
Springer
15 years 6 months ago
2004
Springer
Many cryptographic primitives begin with parameter generation, which picks a primitive from a family. Such generation can use public coins (e.g., in the discrete-logarithm-based c...
117
Voted
VLDB
1990
ACM
15 years 4 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
111
click to vote
IOR
2006
15 years 23 days ago
2006
In the dial-a-ride problem, users formulate requests for transportation from a specific origin to a specific destination. Transportation is carried out by vehicles providing a sha...