4693 search results - page 920 / 939 » Verifying Hybrid Systems |
119
Voted
OTM
2009
Springer
15 years 7 months ago
2009
Springer
Provenance, from the French word “provenir”, describes the lineage or history of a data entity. Provenance is critical information in scientific applications to verify experime...
107
click to vote
JCDL
2009
ACM
15 years 7 months ago
2009
ACM
Recent years have seen the rise of subject-themed digital libraries, such as the NSDL pathways and the Digital Library for Earth System Education (DLESE). These libraries often ne...
146
Voted
MOBICOM
2009
ACM
15 years 7 months ago
2009
ACM
Cognitive radio is an enabling technology that allows unlicensed users to opportunistically access the spectrum in order to enhance the spectrum efficiency. In this paper, we cons...
131
Voted
WCNC
2008
IEEE
15 years 6 months ago
2008
IEEE
—This paper provides analytical expressions to evaluate the performance of a random access wireless network in terms of user throughput and network throughput, subject to the con...
110
click to vote
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...