5180 search results - page 784 / 1036 » Requirements Engineering |
183
click to vote
TABLETOP
2007
IEEE
16 years 27 days ago
2007
IEEE
Multi-person tabletop applications that require a high display resolution, such as collaborative web-browsing, are currently very difficult to create. Tabletop systems that suppo...
171
click to vote
COMSWARE
2007
IEEE
16 years 27 days ago
2007
IEEE
—This paper deals with the topology formation schemes in the IEEE 802.11 based wireless mesh network. The recent standardization effort for specifying a wireless distribution sys...
169
click to vote
CAV
2007
Springer
16 years 25 days ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
176
click to vote
CSL
2007
Springer
16 years 24 days ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
170
click to vote
DAWAK
2007
Springer
16 years 24 days ago
2007
Springer
The emerging area of business process intelligence aims at enhancing the analysis power of business process management systems by employing data warehousing and mining technologies...