2040 search results - page 309 / 408 » Understanding interaction design practices |
TPHOL
1996
IEEE
13 years 12 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
EDO
2006
Springer
13 years 11 months ago
2006
Springer
Businesses increasingly provide and use services, applying formal (Web) services technology for the description, composition, and management of software as services. At the same t...
CRIWG
2000
13 years 9 months ago
2000
This paper presents the concept of a collaborative computer integrated classroom (CiC) specially designed to achieve a unique combination of interactive and collaborative software...
CASCON
1996
13 years 9 months ago
1996
The lack of an appropriate external data model is one of the reasons for the dearth of eective network management applications. Many network management computations over Managemen...
JODL
2000
13 years 7 months ago
2000
The internet is rapidly becoming the first place for researchers to publish documents, but at present they receive little support in searching, tracking, analyzing or debating conc...