4520 search results - page 536 / 904 » Algebraic Techniques for Timed Systems |
164
Voted
TNN
1998
15 years 6 months ago
1998
—Relaxation oscillations exhibiting more than one time scale arise naturally from many physical systems. When relaxation oscillators are coupled in a way that resembles chemical ...
202
Voted
IJCAT
2010
15 years 5 months ago
2010
Log-polar or spatially-variant image representation is an important component of active vision system in tracking process for many robotic applications due to its data compression ...
170
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Using the application programming interfaces (API) of large software systems requires developers to understand details about the interfaces that are often not explicitly defined. ...
200
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Attacks on software systems are an increasingly serious problem from an economic and security standpoint. Many techniques have been proposed ranging from simple compiler modifi...
167
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...