Sciweavers

951 search results - page 54 / 191
» A future radio-access framework
Sort
View
HYBRID
2010
Springer
15 years 9 months ago
Safe compositional network sketches: formal framework
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Mi...
ENTCS
2006
176views more  ENTCS 2006»
15 years 4 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...
EPIA
2007
Springer
15 years 10 months ago
Prospective Logic Agents
As we face the real possibility of modelling agent systems capable of non-deterministic self-evolution, we are confronted with the problem of having several different possible futu...
Luís Moniz Pereira, Gonçalo Lopes
IDEAL
2004
Springer
15 years 9 months ago
Summarizing Time Series: Learning Patterns in 'Volatile' Series
Most financial time series processes are nonstationary and their frequency characteristics are time-dependant. In this paper we present a time series summarization and prediction ...
Saif Ahmad, Tugba Taskaya-Temizel, Khurshid Ahmad
BPM
2007
Springer
165views Business» more  BPM 2007»
15 years 8 months ago
Modeling Requirements for Value Configuration Design
Breadth and depth complexity are key challenges in achieving business process fusion as the enabler for value configuration design. The PARM framework is proposed as the requiremen...
Eng Chew, Igor Hawryszkiewycz, Michael Soanes