6434 search results - page 1040 / 1287 » Model Transformations with Reference Models |
137
click to vote
ITRUST
2005
Springer
15 years 9 months ago
2005
Springer
Collaborative Filtering (CF), the prevalent recommendation approach, has been successfully used to identify users that can be characterized as “similar” according to their logg...
107
Voted
PROFES
2005
Springer
15 years 9 months ago
2005
Springer
Software development organizations wanting to introduce usability practices into their defined software process have to undertake laborious efforts for that purpose, since, for the...
128
Voted
FASE
2004
Springer
15 years 9 months ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
137
Voted
LATIN
2004
Springer
15 years 9 months ago
2004
Springer
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
123
click to vote
SACRYPT
2004
Springer
15 years 9 months ago
2004
Springer
A reasonably efficient password based key exchange (KE) protocol with provable security without random oracle was recently proposed by Katz, et al. [18] and later by Gennaro and Li...