2214 search results - page 389 / 443 » Complexity of Reasoning |
158
click to vote
POPL
2010
ACM
16 years 9 days ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
199
click to vote
SIGMETRICS
2000
ACM
15 years 2 months ago
2000
ACM
Ad hoc wireless networks are new communication networks that can be dynamically formed and deformed onthe- y, anytime and anywhere. User data is routed with the help of an ad hoc ...
151
click to vote
ICSM
2009
IEEE
15 years 19 days ago
2009
IEEE
Software can be considered a live entity, as it undergoes many alterations throughout its lifecycle. Furthermore, developers do not usually retain a good design in favor of adding...
127
Voted
ESA
2005
Springer
15 years 8 months ago
2005
Springer
Histograms are used in many ways in conventional databases and in data stream processing for summarizing massive data distributions. Previous work on constructing histograms on da...
130
click to vote
CSFW
2002
IEEE
15 years 8 months ago
2002
IEEE
We describe a protocol design process, and illustrate its use by creating ATSPECT, an Authentication Test-based Secure Protocol for Electronic Commerce Transactions. The design pr...