3731 search results - page 32 / 747 » cases 2006 |
ICALT
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper describes how we address the different steps proposed in the workshop “Comparing Educational Modeling Languages on a case study” with LDL and the associated infrast...
ENTCS
2006
14 years 10 months ago
2006
This paper is a case study in combining theorem provers. We define a derived rule in HOL-Light, CVC PROVE, which calls CVC Lite and translates the resulting proof object back to HO...
91
Voted
IJWBC
2010
14 years 8 months ago
2010
: Virtual communities play an important part in enabling people with common interests to interact with each other. Current research mostly focuses on the aspects of social interact...
99
Voted
ICMB
2006
IEEE
15 years 4 months ago
2006
IEEE
The emerging use of WLAN technologies to provide WISP services in public locations has been a hot topic in the mobile industry as it threatened traditional mobile operator busines...
82
Voted
AIM
2006
14 years 11 months ago
2006
: This article studies the creation process in global virtual teams (GVTs). It determines factors that may increase or reduce their creativity. A case study covering the 25 GVTs be...