Sciweavers

697 search results - page 49 / 140
» Diet: New Developments and Recent Results
Sort
View
83
Voted
EPEW
2006
Springer
15 years 1 months ago
Model Checking for a Class of Performance Properties of Fluid Stochastic Models
Abstract. Recently, there is an explosive development of fluid approaches to computer and distributed systems. These approaches are inherently stochastic and generate continuous st...
Manuela L. Bujorianu, Marius C. Bujorianu
104
Voted
SCANGIS
2003
14 years 11 months ago
Need for Context-Aware Topographic Maps in Mobile Devices
Recently, along with the breakthrough of the Internet and mobile environment, the development towards screen maps used as intelligent user interfaces appears to be emergent. This m...
Annu-Maaria Nivala, L. Tiina Sarjakoski
74
Voted
CORR
2008
Springer
104views Education» more  CORR 2008»
14 years 10 months ago
Secrecy capacity of a class of orthogonal relay eavesdropper channels
The secrecy capacity is developed for a class of relay channels with orthogonal components and a passive eavesdropper node. The relay and destination receive signals from the sourc...
Vaneet Aggarwal, Lalitha Sankar, A. Robert Calderb...
DISOPT
2008
138views more  DISOPT 2008»
14 years 10 months ago
An algorithmic framework for convex mixed integer nonlinear programs
This paper is motivated by the fact that mixed integer nonlinear programming is an important and difficult area for which there is a need for developing new methods and software f...
Pierre Bonami, Lorenz T. Biegler, Andrew R. Conn, ...
ESE
1998
131views Database» more  ESE 1998»
14 years 10 months ago
A Comparison of Tool-Based and Paper-Based Software Inspection
Software inspection is an e ective method of defect detection. Recent research activity has considered the development of tool support to further increase the e ciency and e ectiv...
F. MacDonald, J. Miller