1166 search results - page 77 / 234 » Negotiating Using Rewards |
DSN
2002
IEEE
14 years 3 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We consider an opportunistic spectrum access (OSA) problem where the time-varying condition of each channel (e.g., as a result of random fading or certain primary users' activ...
MITJSME
1989
14 years 2 months ago
1989
We describe how aircraft are designed in a large organization. We discuss the different phases of design and interaction with the customer. We then describe the models used by each...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
The paper discusses the role of context in a collaborative design process, with a web-based environment for distributed architecture - engineering - construction teamwork. During ...
ATAL
2008
Springer
14 years 2 days ago
2008
Springer
Experiencing and expressing emotions are integral parts of our life. In the retail area of commerce, emotion plays a fundamental role. When we choose or buy a commodity, our choic...