10707 search results - page 1782 / 2142 » Designing executable abstractions |
174
Voted
FC
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The Chip Authentication Programme (CAP) has been introduced by banks in Europe to deal with the soaring losses due to online banking fraud. A handheld reader is used toge...
188
Voted
FM
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
216
Voted
ICB
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Automatic personal identification based on palmprints has been considered as a promising technology in biometrics family during recent years. In pursuit of accurate palmp...
186
click to vote
ICSOC
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...
229
Voted
ICSR
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Software Product Lines (SPL) promote reuse within an application domain in an organized fashion. Preimplemented software components are arranged according to a product li...