Sciweavers

4074 search results - page 300 / 815
» Defining Computational Aesthetics
Sort
View
SAC
2003
ACM
15 years 11 months ago
Designing and Specifying Mobility within the Multiagent Systems Engineering Methodology
Recently, researchers have created many platforms and applications for mobile agents; however, current Agent-Oriented Software Engineering (AOSE) methodologies have yet not fully ...
Athie L. Self, Scott A. DeLoach
HPDC
2002
IEEE
15 years 11 months ago
QoS-Based Resource Discovery in Intermittently Available Environments
In this paper, we address the problem of resource discovery in a grid based multimedia environment, where the resources providers, i.e. servers, are intermittently available. Give...
Yun Huang, Nalini Venkatasubramanian
GI
2009
Springer
15 years 10 months ago
TaxiMedia: An Interactive Context-Aware Entertainment and Advertising System
: The use of public transport vehicles, such as trams, buses, and taxis as an advertising space is increasing since several years. However mainly the outside of the vehicles is use...
Florian Alt, Alireza Sahami Shirazi, Max Pfeiffer,...
CC
2001
Springer
146views System Software» more  CC 2001»
15 years 10 months ago
Alias Analysis by Means of a Model Checker
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
Vincenzo Martena, Pierluigi San Pietro
ECOOPW
2001
Springer
15 years 10 months ago
Automating Object-Oriented Software Development Methods
Current software projects have generally to deal with producing and managing large and complex software products. It is generally believed that applying software development method...
Bedir Tekinerdogan, Motoshi Saeki, Gerson Suny&eac...