96 search results - page 18 / 20 » Development Tool for Service-Oriented Applications in Smart ... |
WAIM
2005
Springer
13 years 11 months ago
2005
Springer
System behaviors specify the major functions of domain specific Web Information Systems (WIS). Traditional techniques can not satisfy various requirements or manage innumerous data...
ESORICS
2002
Springer
14 years 5 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
CVPR
2008
IEEE
14 years 7 months ago
2008
IEEE
The Internet contains billions of images, freely available online. Methods for efficiently searching this incredibly rich resource are vital for a large number of applications. Th...
CHI
2006
ACM
14 years 6 months ago
2006
ACM
No longer confined to our offices, schools, and homes, technology is expanding at an astonishing rate across our everyday public urban landscapes. From the visible (mobile phones,...
ISSRE
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract—As smart phones grow in popularity, manufacturers are in a race to pack an increasingly rich set of features into these tiny devices. This brings additional complexity i...