4451 search results - page 738 / 891 » Continuous model synthesis |
141
click to vote
CALCO
2009
Springer
16 years 23 days ago
2009
Springer
Higher-order recursion schemes are equations defining recursively new operations from given ones called “terminals”. Every such recursion scheme is proved to have a least inte...
146
Voted
ISAAC
2009
Springer
16 years 22 days ago
2009
Springer
The problem of maintaining geometric structures for points in motion has been well studied over the years. Much theoretical work to date has been based on the assumption that point...
153
click to vote
OTM
2009
Springer
16 years 22 days ago
2009
Springer
The search for the Holy Grail in achieving interoperability of business processes, services and semantics continues with every new type or search for the Silver Bullet. Most approa...
170
click to vote
CDC
2008
IEEE
16 years 20 days ago
2008
IEEE
— We consider the problem of small-gain analysis of asymptotic behavior in interconnected nonlinear dynamic systems. Mathematical models of these systems are allowed to be uncert...
161
click to vote
DATE
2008
IEEE
16 years 19 days ago
2008
IEEE
The bandwidth and speed of network connections are continually increasing. The speed increase in network technology is set to soon outpace the speed increase in CMOS technology. T...