4693 search results - page 730 / 939 » Verifying Hybrid Systems |
152
click to vote
HICSS
2007
IEEE
16 years 8 days ago
2007
IEEE
Several data-centric communication paradigms have been proposed in the domain of wireless sensor networks (WSN). Therefore, the principles of operation and maintenance in such net...
107
click to vote
ICC
2007
IEEE
16 years 7 days ago
2007
IEEE
—We propose a new teletraffic model for the calculation of link occupancy distribution and determine the call blocking probabilities and link utilization in a single-link multi-r...
148
click to vote
ICEIS
2007
IEEE
16 years 7 days ago
2007
IEEE
Business process analysis ranges from model verification at design-time to the monitoring of processes at run-time. Much progress has been achieved in process verification. Today...
136
click to vote
ICNP
2007
IEEE
16 years 7 days ago
2007
IEEE
— The Internet provides no information on the fate of transmitted packets, and end systems cannot determine who is responsible for dropping or delaying their traffic. As a resul...
137
click to vote
ISCAS
2007
IEEE
16 years 6 days ago
2007
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...