1975 search results - page 271 / 395 » Property analysis and design understanding |
176
click to vote
LCTRTS
2004
Springer
16 years 13 days ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
198
click to vote
ECRTS
2003
IEEE
16 years 11 days ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
218
click to vote
KBSE
2003
IEEE
16 years 10 days ago
2003
IEEE
Database application programs are often designed to be executed concurrently by many clients. By grouping related database queries into transactions, DBMS systems can guarantee th...
190
click to vote
GROUP
2003
ACM
16 years 10 days ago
2003
ACM
Synchronous text communication is becoming recognized as a valuable workplace communication medium yet some studies of group text chat indicate that its properties can lead to int...
212
click to vote
HYBRID
2003
Springer
16 years 8 days ago
2003
Springer
Switched circuits in power electronics by their nature present hybrid behavior. Such circuits can be described by a set of discrete states with associated continuous dynamics. A co...