419 search results - page 31 / 84 » Succincter |
DCC
2006
IEEE
15 years 9 months ago
2006
IEEE
We describe a low-complexity scheme for lossless compression of short text messages. The method uses arithmetic coding and a specific statistical context model for prediction of s...
VMCAI
2010
Springer
15 years 6 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
IEEEARES
2009
IEEE
15 years 4 months ago
2009
IEEE
—Alice and Bob notation is a popular way to describe security protocols: it is intuitive, succinct, and yet expressive. Several formal protocol specification languages are based...
BPM
2009
Springer
15 years 4 months ago
2009
Springer
Complex Event Processing (CEP) is a powerful technology for supporting advanced event-processing scenarios at a higher level of ion. Because of its expressiveness, CEP allows promp...
74
Voted
XPU
2009
Springer
15 years 4 months ago
2009
Springer
Digital tabletop is an emerging technology that is being increasingly used to support group activities. Agile Planner for Digital Tabletops (APDT) is a tool that was built to suppo...