3765 search results - page 739 / 753 » Qualitative Action Systems |
UML
2005
Springer
14 years 1 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
FOSSACS
2004
Springer
14 years 27 days ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
AOSD
2003
ACM
14 years 23 days ago
2003
ACM
An effective requirements engineering (RE) approach must harmonise the need to achieve separation of concerns with the need to satisfy broadly scoped requirements and constraints....
ECCV
2010
Springer
14 years 22 days ago
2010
Springer
Approximate Nearest Neighbor (ANN) methods such as Locality Sensitive Hashing, Semantic Hashing, and Spectral Hashing, provide computationally ecient procedures for nding objects...
EGOV
2003
Springer
14 years 22 days ago
2003
Springer
: New information and communication technologies within the Administration give rise to a series of important challenges: to select and use the various telematic and computer-relat...