551 search results - page 67 / 111 » Realizability of Real-Time Logics |
143
click to vote
DATE
2008
IEEE
16 years 2 days ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
168
click to vote
RTCSA
2008
IEEE
16 years 5 hour ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
135
click to vote
RTCSA
2008
IEEE
16 years 5 hour ago
2008
IEEE
This paper addresses the problem of using the Location IDentifier (LID) as the domain value of the index for trajectories of RFID tags and proposes the solution for solving this p...
140
click to vote
ICDCSW
2007
IEEE
15 years 12 months ago
2007
IEEE
Peer-to-Peer (P2P) systems are currently used in a variety of applications. File sharing applications and ad hoc networking have fueled the usage of these systems. P2P systems gen...
141
click to vote
ICNSC
2007
IEEE
15 years 12 months ago
2007
IEEE
— Flow level measurements are used to provide insights into the traffic flow crossing a network link. However, existing flow based network detection devices lack adaptive reconfi...