1585 search results - page 238 / 317 » A framework for computer-aided validation |
147
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
116
Voted
IMC
2004
ACM
15 years 9 months ago
2004
ACM
Identifying elephant flows is very important in developing effective and efficient traffic engineering schemes. In addition, obtaining the statistics of these flows is also ver...
146
Voted
ACNS
2004
Springer
15 years 9 months ago
2004
Springer
Distance vector routing protocols (e.g., RIP) have been widely used on the Internet, and are being adapted to emerging wireless ad hoc networks. However, it is well-known that exis...
145
Voted
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
Product Distribution (PD) theory is a new framework for controlling Multi-Agent Systems (MAS’s). First we review one motivation of PD theory, as the information-theoretic extens...
122
Voted
CARDIS
2004
Springer
15 years 9 months ago
2004
Springer
CMOS gates consume different amounts of power whether their output has a falling or a rising edge. Therefore the overall power consumption of a CMOS circuit leaks information about...