Sciweavers

10 search results - page 2 / 2
» mscs 2002
Sort
View
MSCS
2002
54views more  MSCS 2002»
13 years 9 months ago
Local Realizability Toposes and a Modal Logic for Computability
Steven Awodey, Lars Birkedal, Dana S. Scott
MSCS
2002
53views more  MSCS 2002»
13 years 9 months ago
String and Graph Reduction Systems for Gene Assembly in Ciliates
Andrzej Ehrenfeucht, Ion Petre, David M. Prescott,...
ICIP
2002
IEEE
14 years 11 months ago
Boosting face recognition on a large-scale database
Performance of many state-of-the-art face recognition (FR) methods deteriorates rapidly, when large in size databases are considered. In this paper, we propose a novel clustering ...
Juwei Lu, Konstantinos N. Plataniotis
SIGSOFT
2002
ACM
14 years 10 months ago
Negative scenarios for implied scenario elicitation
Scenario-based specifications such as Message Sequence Charts (MSCs) are popular for requirement elicitation and specification. MSCs describe two distinct aspects of a system: on ...
Sebastián Uchitel, Jeff Kramer, Jeff Magee
COMPSAC
2002
IEEE
14 years 2 months ago
From MSC and UML to SDL
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
Stephan Bourduas, Ferhat Khendek, Daniel Vincent