5200 search results - page 873 / 1040 » Symbolic models for control systems |
168
click to vote
DBPL
2003
Springer
16 years 9 days ago
2003
Springer
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
177
Voted
HICSS
2002
IEEE
16 years 18 hour ago
2002
IEEE
Deploying an appropriate software process can improve the effectiveness of software engineering. Still, small companies find it hard to allocate resources to software process impr...
171
click to vote
SSS
2009
Springer
15 years 11 months ago
2009
Springer
Consider a fully connected network where up to t processes may crash, and all processes start in an arbitrary memory state. The self-stabilizing firing squad problem consists of e...
209
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
Synchronous Data Flow (SDF) is a well-known model of computation that is widely used in the control engineering and digital signal processing domains. Existing scheduling methods ...
201
click to vote
ADVIS
2000
Springer
15 years 11 months ago
2000
Springer
Traditional reliable multicast protocols depend on assumptions about flow control and reliability mechanisms, and they suffer from a kind of interference between these mechanisms. ...