Sciweavers

10 search results - page 2 / 2
» mscs 2002
Sort
View
MSCS
2002
54views more  MSCS 2002»
13 years 4 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 4 months ago
String and Graph Reduction Systems for Gene Assembly in Ciliates
Andrzej Ehrenfeucht, Ion Petre, David M. Prescott,...
ICIP
2002
IEEE
14 years 6 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 5 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
13 years 9 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