1959 search results - page 59 / 392 » Concerned About Separation |
SOUPS
2006
ACM
15 years 5 months ago
2006
ACM
Given the widespread use of password authentication in online correspondence, subscription services, and shopping, there is growing concern about identity theft. When people reuse...
125
click to vote
ZUM
1997
Springer
15 years 4 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
101
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: With the rapid development of new genetic measurement methods, several types of genetic alterations can be quantified in a high-throughput manner. While the initial fo...
130
click to vote
CSI
2007
14 years 11 months ago
2007
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
137
click to vote
TAOSD
2010
14 years 10 months ago
2010
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...