Sciweavers

136 search results - page 14 / 28
» jot 2006
Sort
View
JOT
2006
51views more  JOT 2006»
15 years 23 days 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»
15 years 23 days ago
Static Verification of Code Access Security Policy Compliance of .NET Applications
Jan Smans, Bart Jacobs 0002, Frank Piessens
41
Voted
JOT
2006
43views more  JOT 2006»
15 years 23 days ago
Security Evaluation of J2ME CLDC Embedded Java Platform
Mourad Debbabi, Mohamed Saleh, Chamseddine Talhi, ...
55
Voted
JOT
2002
62views more  JOT 2002»
15 years 14 days ago
Debugging UML Designs with Model Checking
María-del-Mar Gallardo, Pedro Merino, Ernes...
67
Voted
JOT
2002
112views more  JOT 2002»
15 years 14 days ago
BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning
Richard F. Paige, Liliya Kaminskaya, Jonathan S. O...