54 search results - page 2 / 11 » Modeling and Programming Devices and Web Agents |
143
click to vote
AAAI
1996
15 years 6 months ago
1996
We describe a program called SketchIT that transforms a single sketch of a mechanical device into multiple families of new designs. It represents each of these families with a &qu...
174
click to vote
CATA
2003
15 years 6 months ago
2003
It is becoming more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. At the same time, it is difficul...
162
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
164
Voted
ACMICEC
2006
ACM
15 years 11 months ago
2006
ACM
Applications and digital goods for mobile devices have been around for more than a decade. Recent technology development has also driven the use of mobile commerce technology. Mob...
132
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
The Web, the collection of all devices connected to the Internet, is on the verge of experiencing a massive evolution from a Web of Computers to a Web of Things as new devices suc...