880 search results - page 168 / 176 » Model checking erlang programs: the functional approach |
142
Voted
BTW
2007
Springer
15 years 9 months ago
2007
Springer
: Distributed top-k query processing is increasingly becoming an essential functionality in a large number of emerging application classes. This paper addresses the efficient alge...
153
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...
126
Voted
AINA
2005
IEEE
15 years 9 months ago
2005
IEEE
The network lifetime for wireless sensor network plays an important role to survivability. Thus, we indicate the importance of routing protocol to network lifetime, and model the ...
127
Voted
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents an open protocol for interoperability across multi-vendor programmable smart cards. It allows exposition of on-card storage and cryptographic services to host ...
215
Voted
OOIS
2001
Springer
15 years 8 months ago
2001
Springer
The accurate estimation of software development effort has major implications for the management of software development in the industry. Underestimates lead to time pressures tha...