262 search results - page 52 / 53 » Making Specifications Complete Through Models |
CIKM
2008
Springer
14 years 25 days ago
2008
Springer
Every piece of textual data is generated as a method to convey its authors' opinion regarding specific topics. Authors deliberately organize their writings and create links, ...
CRITICAL
2005
14 years 24 days ago
2005
This paper addresses design agendas in Human-Computer Interaction and neighbouring fields motivated by the mixing of areas that were mostly kept separate until recently, such as m...
AAAI
1994
14 years 5 days ago
1994
In this paper, we study the problem of achieving efficient interaction in a distributed scheduling system whose scheduling agents may borrow resources from one another. Specifical...
CSUR
1999
13 years 10 months ago
1999
The Web can be naturally modeled as a directed graph, consisting of a set of abstract nodes (the pages) joined by directional edges (the hyperlinks). Hyperlinks encode a considerab...
ICC
2009
IEEE
13 years 8 months ago
2009
IEEE
CDMA2000, WCDMA and WiMAX are three widely used 3G technologies. Since they share the same goal, which is to provide broader coverage and higher throughput in 3G networks, an impar...