Sciweavers

136 search results - page 14 / 28
» jot 2006
Sort
View
JOT
2006
51views more  JOT 2006»
14 years 10 months ago
A Novel Real Time Scheduling Frame-work for CORBA-Based Applications
G. Sudha Sadasivam, Geetha Rani, Ramya, Saranya
71
Voted
JOT
2006
53views more  JOT 2006»
14 years 10 months ago
Static Verification of Code Access Security Policy Compliance of .NET Applications
Jan Smans, Bart Jacobs 0002, Frank Piessens
JOT
2006
43views more  JOT 2006»
14 years 10 months ago
Security Evaluation of J2ME CLDC Embedded Java Platform
Mourad Debbabi, Mohamed Saleh, Chamseddine Talhi, ...
JOT
2002
62views more  JOT 2002»
14 years 9 months ago
Debugging UML Designs with Model Checking
María-del-Mar Gallardo, Pedro Merino, Ernes...
JOT
2002
112views more  JOT 2002»
14 years 9 months ago
BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning
Richard F. Paige, Liliya Kaminskaya, Jonathan S. O...