Sciweavers

5180 search results - page 784 / 1036
» Requirements Engineering
Sort
View
TABLETOP
2007
IEEE
16 years 27 days ago
T3: Rapid Prototyping of High-Resolution and Mixed-Presence Tabletop Applications
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...
Peter Robinson, Philip Tuddenham
COMSWARE
2007
IEEE
16 years 27 days ago
Enhanced Topolgoy Formation Protocol for IEEE 802.11 WLAN based Mesh Networks
—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...
Deepesh Man Shrestha, Young-Bae Ko
CAV
2007
Springer
112views Hardware» more  CAV 2007»
16 years 25 days ago
Magnifying-Lens Abstraction for Markov Decision Processes
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...
Luca de Alfaro, Pritam Roy
CSL
2007
Springer
16 years 24 days ago
Incorporating Tables into Proofs
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...
Dale Miller, Vivek Nigam
DAWAK
2007
Springer
16 years 24 days ago
OLAP Technology for Business Process Intelligence: Challenges and Solutions
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...
Svetlana Mansmann, Thomas Neumuth, Marc H. Scholl