4099 search results - page 331 / 820 » A Framework for Interactive Proof |
183
click to vote
AOSD
2006
ACM
16 years 20 days ago
2006
ACM
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...
183
click to vote
ICMI
2004
Springer
16 years 2 days ago
2004
Springer
One of the implicit assumptions of multi-modal interfaces is that human-computer interaction is significantly facilitated by providing multiple input and output modalities. Surpri...
178
click to vote
SELMAS
2004
Springer
16 years 1 days ago
2004
Springer
If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible actions each party can take at any given time, when nego...
191
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
— A Mobile Ad hoc Network (MANET) is a collection of wireless mobile nodes forming a temporary network without using any existing infrastructure. Since not many MANETs are curren...
187
click to vote
LISA
2008
15 years 9 months ago
2008
With the increasing adoption of mobile computing devices that carry confidential data, organizations need to secure data in an ever-changing environment. Critical organizational d...