4693 search results - page 832 / 939 » Verifying Hybrid Systems |
122
click to vote
ASE
2005
15 years 18 days ago
2005
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
112
click to vote
ASE
2005
15 years 18 days ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
116
click to vote
IPM
2007
15 years 18 days ago
2007
As access to information becomes more intensive in society, a great deal of that information is becoming available through diverse channels. Accordingly, users require effective ...
120
click to vote
TIP
2008
15 years 18 days ago
2008
Abstract--In this paper, we analyze the computational challenges in implementing particle filtering, especially to video sequences. Particle filtering is a technique used for filte...
101
click to vote
TOCS
2008
15 years 18 days ago
2008
RaWMS is a novel lightweight random membership service for ad hoc networks. The service provides each node with a partial uniformly chosen view of network nodes. Such a membership...