615 search results - page 29 / 123 » High-Level Nondeterministic Abstractions in |
ICSOC
2003
Springer
14 years 4 months ago
2003
Springer
Abstract Interaction with web services enabled marketplaces would be greatly facilitated if users were given a high level service request language to express their goals in complex...
CARDIS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Direct Anonymous Attestation (DAA) is an anonymous digital signature scheme that aims to provide both signer authentication and privacy. One of the properties that makes ...
DLOG
1998
14 years 7 days ago
1998
Abstract We address the problem of indexing broadcast audiovisual documents (such as films, news). Starting from a collection of so-called shots, we aim at building automatically h...
ICA
2012
Springer
12 years 6 months ago
2012
Springer
Abstract. The use of high level information in source separation algorithms can greatly constrain the problem and lead to improved results by limiting the solution space to semanti...
RSP
2005
IEEE
14 years 4 months ago
2005
IEEE
Nowadays, Architecture Description Languages (ADLs) are getting popular to speed up the development of complex SoC design, by performing the design space explon a higher level of ...