Sciweavers

2623 search results - page 187 / 525
» tools 2010
Sort
View
FOIKS
2010
Springer
15 years 10 months ago
On the Existence of Armstrong Data Trees for XML Functional Dependencies
Armstrong databases are a popular tool in example-based database design. An Armstrong database for a given constraint set from a fixed constraint class Z satisfies precisely those ...
Sven Hartmann, Henning Köhler, Thu Trinh
EICS
2010
ACM
15 years 8 months ago
Exploiting web service annotations in model-based user interface development
In this paper we present a method and the associated tool support able to exploit the content of Web service annotations in model-based user interface design and development. We a...
Fabio Paternò, Carmen Santoro, Lucio Davide...
MMB
2010
Springer
185views Communications» more  MMB 2010»
15 years 8 months ago
Reducing the Cost of Generating APH-Distributed Random Numbers
Phase-type (PH) distributions are proven to be very powerful tools in modelling and analysis of a wide range of phenomena in computer systems. The use of these distributions in sim...
Philipp Reinecke, Miklós Telek, Katinka Wol...
ASM
2010
ASM
15 years 8 months ago
Applying the B Method for the Rigorous Development of Smart Card Applications
Abstract. Smart Card applications usually require reliability and security to avoid incorrect operation or access violation in transactions and corruption or undue access to stored...
Bruno Emerson Gurgel Gomes, David Déharbe, ...
HAPTICS
2010
IEEE
15 years 8 months ago
Haptic Feedback of Piconewton Interactions with Optical Tweezers
Haptic feedback for micro- and nanomanipulation is a research area of growing importance with many potential applications in micro- and biotechnology. Past research often involves ...
Cécile Pacoret, Arvid Bergander, Stephane R...