5525 search results - page 796 / 1105 » Verification of Model Transformations |
186
click to vote
ECUMN
2007
Springer
15 years 8 months ago
2007
Springer
Since few years, several applications are proposed on mobile devices. However, these applications are not aware of their physical environment. The emergence of wireless sensors, a...
185
click to vote
ECOWS
2008
Springer
15 years 8 months ago
2008
Springer
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...
159
click to vote
FSE
2008
Springer
15 years 8 months ago
2008
Springer
Chosen-plaintext attacks on private-key encryption schemes are currently modeled by giving an adversary access to an oracle that encrypts a given message m using random coins that ...
149
click to vote
DPHOTO
2010
15 years 8 months ago
2010
Conventional point spread function (PSF) measurement methods often use parametric models for the estimation of the PSF. This limits the shape of the PSF to a specific form provide...
178
click to vote
HCI
2007
15 years 8 months ago
2007
In the VTT PLAMOS (Plant Model Services for Mobile Process Maintenance Engineer) project new tools were developed for modern maintenance work carried out in industrial plants by ei...