Sciweavers

5810 search results - page 486 / 1162
» An Approach to Programming Based on Concepts
Sort
View
COMPSAC
2008
IEEE
16 years 1 months ago
Modeling by Form Transformation for End-User Initiative Development
2. Previous studies on end-user computing The development of Web applications should be supported by business professionals themselves since Web applications must be modified frequ...
Takeshi Chusho, Noriyuki Yagi
ESAW
2000
Springer
15 years 10 months ago
Context-Dependency in Internet-Agent Coordination
The design and development of Internet applications can take advantage of a paradigm based on autonomous and mobile agents. However, agent mobility introduces peculiar coordinatio...
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
DATE
2005
IEEE
116views Hardware» more  DATE 2005»
16 years 14 days ago
FORAY-GEN: Automatic Generation of Affine Functions for Memory Optimizations
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...
Ilya Issenin, Nikil D. Dutt
AIPS
2011
14 years 10 months ago
Scheduling an Aircraft Repair Shop
We address a scheduling problem in the context of military aircraft maintenance where the goal is to meet the aircraft requirements for a number of missions in the presence of bre...
Maliheh Aramon Bajestani, J. Christopher Beck
ATVA
2008
Springer
87views Hardware» more  ATVA 2008»
15 years 8 months ago
Goanna: Syntactic Software Model Checking
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...