3133 search results - page 352 / 627 » Difference systems of sets and cyclotomy |
186
click to vote
WIMOB
2007
IEEE
16 years 1 months ago
2007
IEEE
— With the ever increasing amount of systems requiring user authentication, users are experiencing an substantial inconvenience. A huge amount of passwords needs to be remember...
173
Voted
MDM
2007
Springer
16 years 27 days ago
2007
Springer
Data consistency protocols are vital ingredients of mobile data management systems. Notable research efforts have been spent to find adequate consistency models for allowing mobi...
132
click to vote
DSD
2006
IEEE
16 years 24 days ago
2006
IEEE
Modern day applications require use of multi-processor systems for reasons of scalability and power efficiency. As more and more applications are integrated on a single device, m...
142
click to vote
ISSTA
2006
ACM
16 years 21 days ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
202
click to vote
DATE
2005
IEEE
16 years 11 days ago
2005
IEEE
UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mai...