Sciweavers

4184 search results - page 107 / 837
» Names of Our Lives
Sort
View
APN
1999
Springer
15 years 6 months ago
Detection of Illegal Behaviors Based on Unfoldings
We show how the branching process approach can be used for the detection of illegal behaviors. Our study is based on the specification of properties in terms of testers that cover...
Jean-Michel Couvreur, Denis Poitrenaud
GRID
2000
Springer
15 years 5 months ago
DOT-COMing the GRID: Using Grids for Business
: In this presentation, a short outline of the history of past and present Grid projects in research and industry is given, followed by some near- and long-term Grid scenarios and ...
Wolfgang Gentzsch
ECAI
2008
Springer
15 years 3 months ago
Emergence of Rules in Cell Assemblies of fLIF Neurons
Abstract. There are many examples of intelligent and learning systems that are based either on the connectionist or the symbolic approach. Although the latter can be successfully c...
Roman V. Belavkin, Christian R. Huyck
CATA
2007
15 years 3 months ago
Static Scheduling for Synchronous Data Flow Graphs
This paper addresses the issue of determining the iteration bound for a synchronous data flow graph (SDFG) and determining whether or not a SDFG is live based on some calculations...
Samer F. Khasawneh, Michael E. Richter, Timothy W....
CSREASAM
2007
15 years 3 months ago
4G and Manet, Wireless Network of Future Battlefield
- The era of new wireless communications is upon us. Eventually it will penetrate into our daily life and change the way we live just like many technological innovations whose orig...
Marcin Szczodrak, Jinwoo Kim