Sciweavers

2651 search results - page 150 / 531
» Experiences with the Use of a Configuration Language
Sort
View
CCS
2003
ACM
14 years 2 months ago
MECA: an extensible, expressive system and language for statically checking security properties
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. ...
ICSE
1999
IEEE-ACM
14 years 1 months ago
A Language and Environment for Architecture-Based Software Development and Evolution
Software architectures have the potential to substantially improve the development and evolution of large, complex, multi-lingual, multi-platform, long-running systems. However, i...
Nenad Medvidovic, David S. Rosenblum, Richard N. T...
VEE
2010
ACM
192views Virtualization» more  VEE 2010»
13 years 9 months ago
Evaluation of a just-in-time compiler retrofitted for PHP
Programmers who develop Web applications often use dynamic scripting languages such as Perl, PHP, Python, and Ruby. For general purpose scripting language usage, interpreter-based...
Michiaki Tatsubori, Akihiko Tozawa, Toyotaro Suzum...
CORR
2007
Springer
132views Education» more  CORR 2007»
13 years 9 months ago
A Generic Deployment Framework for Grid Computing and Distributed Applications
Deployment of distributed applications on large systems, and especially on grid infrastructures, becomes a more and more complex task. Grid users spend a lot of time to prepare, in...
Areski Flissi, Philippe Merle
INFSOF
2002
153views more  INFSOF 2002»
13 years 9 months ago
Analyzing cloning evolution in the Linux kernel
Identifying code duplication in large multi-platform software systems is a challenging problem. This is due to a variety of reasons including the presence of high-level programmin...
Giuliano Antoniol, Umberto Villano, Ettore Merlo, ...