2153 search results - page 224 / 431 » From Requirements Models to Formal Specifications in B |
186
click to vote
JUCS
2008
15 years 6 months ago
2008
: Most of the current academic and professional work requires collaboration between the members of a working group. Groupware tools play a prevailing role in supporting this collab...
155
click to vote
JUCS
2007
15 years 6 months ago
2007
: Mapping the specification IMS Learning Design and the Course Management System Moodle is a logical step forward on interoperability between eLearning systems and specifications i...
161
click to vote
SP
2007
IEEE
16 years 23 days ago
2007
IEEE
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
239
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Illumination variation is one of intractable yet crucial problems in face recognition and many lighting normalization approaches have been proposed in the past decades. N...
187
click to vote
ICCS
2005
Springer
16 years 15 hour ago
2005
Springer
Abstract. This paper has two foci that are intended to be complementary. First, it describes Conzilla as an incarnation of a concept browser. More specifically, as a technical sol...