Sciweavers

21 search results - page 1 / 5
» hase 2008
Sort
View
95
Voted
HASE
2008
IEEE
15 years 10 months ago
Transaction Calculus
Jifeng He
99
Voted
HASE
2008
IEEE
15 years 10 months ago
Formalize UML 2 Sequence Diagrams
— UML 1 sequence diagrams have been widely employed for modeling software requirements and design. UML 2 introduced many new features, such as Combined Fragments, to make sequenc...
Hui Shen, Aliya Virani, Jianwei Niu
112
Voted
HASE
2008
IEEE
15 years 10 months ago
Privacy, Preservation and Performance: The 3 P's of Distributed Data Management
Privacy, preservation and performance (“3 P’s”) are central design objectives for distributed data management systems. However, these objectives tend to compete with one ano...
Bobji Mungamuru, Hector Garcia-Molina
104
Voted
HASE
2008
IEEE
15 years 10 months ago
A Few Remarks about Formal Development of Secure Systems
—Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the...
Éric Jaeger, Thérèse Hardin