Sciweavers

7576 search results - page 282 / 1516
» UNIX as an Application Program
Sort
View
WWW
2004
ACM
16 years 7 months ago
Exploiting conceptual modeling for web application quality evaluation
This paper presents an approach and a toolset for exploiting the benefits of conceptual modeling in the quality evaluation tasks that take place both before the deployment and dur...
Piero Fraternali, Pier Luca Lanzi, Maristella Mate...
PERCOM
2009
ACM
16 years 7 months ago
DiaSim: A Parameterized Simulator for Pervasive Computing Applications
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...
Wilfried Jouve, Julien Bruneau, Charles Consel
EVOW
2009
Springer
16 years 1 months ago
Grid Coevolution for Adaptive Simulations: Application to the Building of Opening Books in the Game of Go
This paper presents a successful application of parallel (grid) coevolution applied to the building of an opening book (OB) in 9x9 Go. Known sayings around the game of Go are refou...
Pierre Audouard, Guillaume Chaslot, Jean-Baptiste ...
KBSE
2009
IEEE
16 years 1 months ago
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
ESCIENCE
2007
IEEE
16 years 1 months ago
Grid Interoperability at the Application Level Using SAGA
— SAGA is a high-level programming abstraction, which significantly facilitates the development and deployment of Grid-aware applications. The primary aim of this paper is to di...
Shantenu Jha, Hartmut Kaiser, André Merzky,...