Sciweavers

3643 search results - page 433 / 729
» System Architecture for Software Peripherals
Sort
View
PPPJ
2003
ACM
15 years 12 months ago
Supporting interactive invocation of remote services within an integrated programming environment
Building distributed systems is an inherently difficult and complex task. Modern middleware architectures assist developers ding abstractions that hide transport layer functionali...
Bruce Quig, John Rosenberg, Michael Kölling
UML
2005
Springer
16 years 5 days ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
ACSAC
2007
IEEE
16 years 1 months ago
Extending the Java Virtual Machine to Enforce Fine-Grained Security Policies in Mobile Devices
The growth of the applications and services market for mobile devices is currently slowed down by the lack of a flexible and reliable security infrastructure. The development and...
Iulia Ion, Boris Dragovic, Bruno Crispo
DEXAW
2003
IEEE
91views Database» more  DEXAW 2003»
15 years 12 months ago
Web Technology for Education and Training
The Internet has enabled a great amount of information to be readily available and easily accessible. It has promoted several changes in the world, including in the education area...
Sean W. M. Siqueira, Maria Helena Lima Baptista Br...
CC
2003
Springer
102views System Software» more  CC 2003»
15 years 12 months ago
Precision in Practice: A Type-Preserving Java Compiler
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
Christopher League, Zhong Shao, Valery Trifonov