2493 search results - page 319 / 499 » Tool Support for Design by Contract |
IACR
2011
13 years 10 months ago
2011
We describe Charm, an extensible framework designed for rapid prototyping of cryptographic systems that utilize the latest advances in cryptography, such as identity and attribute...
119
Voted
HICSS
2005
IEEE
15 years 4 months ago
2005
IEEE
This study extends the theory of Recognition Primed Decision-Making by applying it to groups. Furthermore, we explore the application of Template Theory to collaboration. An exper...
DBPL
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
SAS
2009
Springer
15 years 11 months ago
2009
Springer
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
IV
2007
IEEE
15 years 4 months ago
2007
IEEE
For decades, financial analysts have strived to use modern data visualization tools to improve the timeliness and quality of their analysis. As the amount of data to be processed ...