2255 search results - page 361 / 451 » High Assurance Software Systems |
AAMAS
2007
Springer
15 years 1 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
109
click to vote
CIKM
2010
Springer
14 years 11 months ago
2010
Springer
While there has been advances in observational equipment that generate huge high quality images, the processing of these images remains a major bottleneck. We show that provenance...
121
click to vote
FPL
2010
Springer
14 years 11 months ago
2010
Springer
Abstract--Modular multiplication of long integers is an important building block for cryptographic algorithms. Although several FPGA accelerators have been proposed for large modul...
204
Voted
CIDR
2011
14 years 4 months ago
2011
If you have ever encountered a piece of highly domain-specific business software, you may have noticed that it was largely a graphical front-end to some relational database. You ...
112
click to vote
MOBIQUITOUS
2007
IEEE
15 years 7 months ago
2007
IEEE
—This paper discusses the design and implementation of an ultra low power embedded GPS receiver node for use in remote monitoring situations where battery life is of the utmost i...