3555 search results - page 415 / 711 » Security-Critical System Development with Extended Use Cases |
228
click to vote
ECBS
1999
IEEE
15 years 11 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
181
Voted
WOA
2000
15 years 8 months ago
2000
In the realization of agent-based applications the developer generally needs to use heterogeneous agent architectures, so that each application component can optimally perform its...
208
click to vote
WIOPT
2010
IEEE
15 years 5 months ago
2010
IEEE
—Energy optimization is a significant component of Wireless Sensor Network (WSN) design. In this paper we consider transmission energy optimization in WSNs where messages are co...
184
click to vote
ENTCS
2002
15 years 6 months ago
2002
Logics as Dialgebras Alessandra Palmigiano Departament de L`ogica, Hist`oria i Filosofia de la Ci`encia, Universitat de Barcelona The aim of this report is to propose a line of re...
244
click to vote
PPOPP
2012
ACM
14 years 2 months ago
2012
ACM
This paper introduces a programming interface called PARRAY (or Parallelizing ARRAYs) that supports system-level succinct programming for heterogeneous parallel systems like GPU c...