4340 search results - page 524 / 868 » Formal Methods and Cryptography |
189
click to vote
CPM
2005
Springer
16 years 7 days ago
2005
Springer
In this paper we propose new solution methods for designing tag sets for use in universal DNA arrays. First, we give integer linear programming formulations for two previous formal...
158
click to vote
FMCO
2005
Springer
16 years 6 days ago
2005
Springer
A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current softwa...
207
click to vote
HYBRID
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The problem of synthesizing feedback controllers that perform sensing and actuation actions on non–uniform and uncertain discrete time domains is considered. This class...
140
click to vote
VLBV
2005
Springer
16 years 5 days ago
2005
Springer
In this paper we propose a very simple FIR pre-filter based method for near optimal least-squares linear approximation of discrete time signals. A digital pre-processing filter,...
152
click to vote
FMCAD
2004
Springer
16 years 2 days ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...