8874 search results - page 1544 / 1775 » A New Implementation of Automath |
206
click to vote
EMSOFT
2005
Springer
16 years 24 days ago
2005
Springer
Current consumer electronics devices do not interoperate and are hard to use. Devices use proprietary, device-specific and inflexible protocols. Resources across device classes, s...
190
click to vote
LCPC
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Many embedded systems use single-chip microcontrollers which have no on-chip RAM. In such a system, the processor registers must hold all live data values. Nanocontroller...
167
click to vote
RAID
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Network worms are malicious programs that spread automatically across networks by exploiting vulnerabilities that affect a large number of hosts. Because of the speed at...
185
click to vote
RULEML
2005
Springer
16 years 22 days ago
2005
Springer
We show the first detailed realistic e-business application scenario that uses and exploits capabilities of the SweetRules V2.1 toolset for e-contracting using the SweetDeal approa...
202
click to vote
SAT
2005
Springer
16 years 22 days ago
2005
Springer
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...