Sciweavers

15 search results - page 3 / 3
» iceccs 2005
Sort
View
ICECCS
2005
IEEE
65views Hardware» more  ICECCS 2005»
13 years 11 months ago
Principles, Standards and Tools for Model Engineering
We take here a broad view of model engineering as encompassing different approaches such as the OMG MDA™ proposal [9], the Microsoft Software Factories view [5], and many others...
Jean Bézivin, Frédéric Jouaul...
ICECCS
2005
IEEE
86views Hardware» more  ICECCS 2005»
13 years 11 months ago
Exploiting OS-Level Mechanisms to Implement Mobile Code Security
Mobile code systems provide an infrastructure that supports autonomous mobile components, called mobile agents. The infrastructure implements services for the transfer, execution,...
Viktoria Felmetsger, Giovanni Vigna
ICECCS
2005
IEEE
236views Hardware» more  ICECCS 2005»
13 years 11 months ago
Detecting Malicious JavaScript Code in Mozilla
The JavaScript language is used to enhance the clientside display of web pages. JavaScript code is downloaded into browsers and executed on-the-fly by an embedded interpreter. Br...
Oystein Hallaraker, Giovanni Vigna
ICECCS
2005
IEEE
171views Hardware» more  ICECCS 2005»
13 years 11 months ago
Behavior Capture and Test: Automated Analysis of Component Integration
Component-based technology is increasingly adopted to speed up the development of complex software through component reuse. Unfortunately, the lack of complete information about r...
Leonardo Mariani, Mauro Pezzè
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
13 years 11 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong