Sciweavers

1351 search results - page 220 / 271
» Towards a Spreadsheet Engineering
Sort
View
ECBS
2007
IEEE
209views Hardware» more  ECBS 2007»
15 years 6 months ago
Aspect-Oriented Modeling of Ubiquitous Web Applications: The aspectWebML Approach
Ubiquitous web applications (UWA) are required to be customizable, meaning their services need to be adaptable towards the context of use, e.g., user, location, time, and device. ...
Andrea Schauerhuber, Manuel Wimmer, Wieland Schwin...
ICNS
2007
IEEE
15 years 6 months ago
A Case Study-based Performance Evaluation Framework for CSCF Processes on a Blade-Server
Abstract— The study of protocol behavior and traffic characteristics in a simulated environment is commonly supported by ad-hoc or general purpose simulators (e.g., Opnet, NS-2)...
Preetam Ghosh, Nirmalya Roy, Kalyan Basu, Sajal K....
ROMAN
2007
IEEE
110views Robotics» more  ROMAN 2007»
15 years 6 months ago
Does Disturbance Discourage People from Communicating with a Robot?
— We suggest that people’s responses to a robot of which attention starts to be distracted show whether they accept the robot as an intentional communication partner or not. Hu...
Claudia Muhl, Yukie Nagai
CCS
2007
ACM
15 years 6 months ago
Program obfuscation: a quantitative approach
Despite the recent advances in the theory underlying obfuscation, there still is a need to evaluate the quality of practical obfuscating transformations more quickly and easily. T...
Bertrand Anckaert, Matias Madou, Bjorn De Sutter, ...
CSL
2007
Springer
15 years 6 months 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