3328 search results - page 238 / 666 » On Plateaued Functions and Their Constructions |
172
Voted
ISCAS
2006
IEEE
16 years 20 days ago
2006
IEEE
—Sliding mode control (SMC) has a strong capability of controlling nonlinear systems with uncertainties. However, it requires thorough knowledge of parameters and dynamics of the...
165
click to vote
CSFW
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
169
click to vote
ESCIENCE
2005
IEEE
16 years 7 days ago
2005
IEEE
The Taverna e-Science Workbench is a central component of myGrid, a loosely coupled suite of middleware services designed to support in silico experiments in biology. Taverna enab...
147
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
150
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Although current programming models provide adequate performance, many prove inadequate to support the effective development of efficient Grid applications. Many of the ...