Sciweavers

5159 search results - page 351 / 1032
» Structural Testing of Executables
Sort
View
PERCOM
2009
ACM
16 years 8 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
WISE
2009
Springer
16 years 2 months ago
Recommending Improvements to Web Applications Using Quality-Driven Heuristic Search
Planning out maintenance tasks to increase the quality of Web applications can be difficult for a manager. First, it is hard to evaluate the precise effect of a task on quality. S...
Stéphane Vaucher, Samuel Boclinville, Houar...
IAT
2007
IEEE
16 years 1 months ago
A Specification Language for Coordination in Agent Systems
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...
Tibor Bosse, Mark Hoogendoorn, Radu Serban, Jan Tr...
DFT
2003
IEEE
154views VLSI» more  DFT 2003»
16 years 21 days ago
Fault Recovery Based on Checkpointing for Hard Real-Time Embedded Systems
Safety-critical embedded systems often operate in harsh environmental conditions that necessitate fault-tolerant computing techniques. Many safety-critical systems also execute re...
Ying Zhang, Krishnendu Chakrabarty
ISCC
2002
IEEE
16 years 9 days ago
Survivable routing in WDM networks
—In this paper we consider the problem of routing the lightpaths of a logical topology of a WDM network on an arbitrary physical topology, such that the logical topology remains ...
Arunabha Sen, Bin Hao, Bao Hong Shen