Sciweavers

1210 search results - page 100 / 242
» Specifying Precise Use Cases with Use Case Charts
Sort
View
JUCS
2010
159views more  JUCS 2010»
14 years 11 months ago
Developing a Secure Mobile Grid System through a UML Extension
: The idea of developing software through systematic development processes to improve software quality is not new. Nevertheless, there are still many information systems such as th...
David G. Rosado, Eduardo Fernández-Medina, ...
DATE
2006
IEEE
87views Hardware» more  DATE 2006»
15 years 10 months ago
A mixed-signal verification kit for verification of analogue-digital circuits
This paper presents an innovative approach for analogue and mixed-signal verification. It consists in a “verification kit” that makes use of concepts used in state-of-art digi...
Giuseppe Bonfini, Monica Chiavacci, Riccardo Maria...
UML
2001
Springer
15 years 8 months ago
Calculating with Concepts: a Technique for the Development of Business Process Support
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
Remco M. Dijkman, Luís Ferreira Pires, Stef...
DSS
2006
140views more  DSS 2006»
15 years 4 months ago
Access control and audit model for the multidimensional modeling of data warehouses
Due to the sensitive data contained in Data Warehouses (DW), it is essential to specify security measures from the early stages of the DW design and enforce them. Traditional acce...
Eduardo Fernández-Medina, Juan Trujillo, Ro...
VLDB
1989
ACM
140views Database» more  VLDB 1989»
15 years 8 months ago
The Effect of Bucket Size Tuning in the Dynamic Hybrid GRACE Hash Join Method
In this paper, we show detailed analysis and performance evaluation of the Dynamic Hybrid GRACE Hash Join Method (DHGH Method) when the tuple distribution in buckets is unbalanced...
Masaru Kitsuregawa, Masaya Nakayama, Mikio Takagi