Sciweavers

2796 search results - page 169 / 560
» A time structure based software reliability model
Sort
View
126
Voted
IOT
2010
15 years 26 days ago
Supporting interaction with the Internet of Things across objects, time and space
Effectively assisting people in complex and highly dynamic work environment requires advances in high-level declarative activity models that can describe the flow of human work act...
Fahim Kawsar, Gerd Kortuem, Bashar Altakrouri
140
Voted
ICDCS
2005
IEEE
15 years 9 months ago
FraNtiC: A Fractal Geometric Framework for Mesh-Based Wireless Access Networks
The design of the access networks of next generation broadband wireless systems requires special attention in the light of changing network characteristics. In this paper, we pres...
Samik Ghosh, Kalyan Basu, Sajal K. Das
124
Voted
SIGPRO
2011
229views Hardware» more  SIGPRO 2011»
14 years 10 months ago
Fast and exact synthesis of stationary multivariate Gaussian time series using circulant embedding
A fast and exact procedure for the numerical synthesis of stationary multivariate Gaussian time series with a priori prescribed and well controlled autoand cross-covariance functi...
Hannes Helgason, Vladas Pipiras, Patrice Abry
124
Voted
SIGDOC
2006
ACM
15 years 9 months ago
Handling objects: a scenario based approach
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
Thomas George Kannampallil, John M. Daughtry III
125
Voted
ISSS
2000
IEEE
109views Hardware» more  ISSS 2000»
15 years 8 months ago
Verification of Embedded Systems using a Petri Net based Representation
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...