Sciweavers

1791 search results - page 95 / 359
» Behavioral Operations
Sort
View
ARCS
2004
Springer
15 years 8 months ago
Finite-State Modeling, Analysis and Testing of System Vulnerabilities
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
Fevzi Belli, Christof J. Budnik, Nimal Nissanke
FUIN
2008
124views more  FUIN 2008»
15 years 3 months ago
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
In this paper, we show how to obtain causal semantics distinguishing "earlier than" and "not later than" causality between events from algebraic semantics of Pe...
Gabriel Juhás, Robert Lorenz, Sebastian Mau...
SIMVIS
2007
15 years 4 months ago
Market Research Using a Virtual Test Store on Gaming Technology
We present the market research tool ShelfAware which implements a virtual test store of a grocery store using gaming technology available on PCs. The purpose of ShelfAware is to s...
Wolfgang Leister, Ingvar Tjøstheim, Joachim...
MEMOCODE
2007
IEEE
15 years 9 months ago
Scheduling as Rule Composition
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
Nirav Dave, Arvind, Michael Pellauer
LCPC
2001
Springer
15 years 7 months ago
Bridging the Gap between Compilation and Synthesis in the DEFACTO System
Abstract. The DEFACTO project - a Design Environment For Adaptive Computing TechnOlogy - is a system that maps computations, expressed in high-level languages such as C, directly o...
Pedro C. Diniz, Mary W. Hall, Joonseok Park, Byoun...