Sciweavers

136 search results - page 14 / 28
» jot 2006
Sort
View
JOT
2006
51views more  JOT 2006»
13 years 7 months ago
A Novel Real Time Scheduling Frame-work for CORBA-Based Applications
G. Sudha Sadasivam, Geetha Rani, Ramya, Saranya
JOT
2006
53views more  JOT 2006»
13 years 7 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»
13 years 7 months ago
Security Evaluation of J2ME CLDC Embedded Java Platform
Mourad Debbabi, Mohamed Saleh, Chamseddine Talhi, ...
JOT
2002
62views more  JOT 2002»
13 years 7 months ago
Debugging UML Designs with Model Checking
María-del-Mar Gallardo, Pedro Merino, Ernes...
JOT
2002
112views more  JOT 2002»
13 years 7 months ago
BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning
Richard F. Paige, Liliya Kaminskaya, Jonathan S. O...