Sciweavers

1396 search results - page 56 / 280
» DATES: Design Analysis Tool for Enterprise Systems
Sort
View
AOSE
2007
Springer
16 years 14 days ago
Tool-Supported Development with Tropos: The Conference Management System Case Study
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alber...
CC
2002
Springer
131views System Software» more  CC 2002»
15 years 6 months ago
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
George C. Necula, Scott McPeak, Shree Prakash Rahu...
SIGADA
2004
Springer
15 years 11 months ago
Enforcing security and safety models with an information flow analysis tool
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
Roderick Chapman, Adrian Hilton
DATE
2006
IEEE
95views Hardware» more  DATE 2006»
15 years 10 months ago
Dynamic data type refinement methodology for systematic performance-energy design exploration of network applications
Network applications are becoming increasingly popular in the embedded systems domain requiring high performance, which leads to high energy consumption. In networks is observed t...
Alexandros Bartzas, Stylianos Mamagkakis, Georgios...
BMCBI
2006
88views more  BMCBI 2006»
15 years 6 months ago
RiboSubstrates: a web application addressing the cleavage specificities of ribozymes in designated genomes
Background: RNA-dependent gene silencing is becoming a routine tool used in laboratories worldwide. One of the important remaining hurdles in the selection of the target sequence,...
Jean-François Lucier, Lucien Junior Bergero...