9067 search results - page 272 / 1814 » Adaptive Model Checking |
185
click to vote
ASWEC
2007
IEEE
16 years 29 days ago
2007
IEEE
Service Oriented Computing (SOC) is a paradigm for building new software applications from existing loosely-coupled services. During service composition, services available to pla...
168
click to vote
ICRA
2006
IEEE
16 years 20 days ago
2006
IEEE
— A legged robot walking on uneven terrain can avoid falling only by applying contact forces with its feet on the ground that compensate for gravity without causing slip. To plan...
162
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Recently we had proposed two untraceability protocols for mobile agents and began investigating their quality. We believe that quality evaluation of security protocols should exte...
122
click to vote
ACL
2006
15 years 8 months ago
2006
Statistical parsers trained and tested on the Penn Wall Street Journal (WSJ) treebank have shown vast improvements over the last 10 years. Much of this improvement, however, is ba...
174
click to vote
IUI
2004
ACM
16 years 1 days ago
2004
ACM
As computer applications become larger with every new version, there is a growing need to provide some way for users to manage the interface complexity. There are three different ...