Sciweavers

2065 search results - page 248 / 413
» Using Architectural Models at Runtime: Research Challenges
Sort
View
ANCS
2008
ACM
15 years 7 months ago
A remotely accessible network processor-based router for network experimentation
Over the last decade, programmable Network Processors (NPs) have become widely used in Internet routers and other network components. NPs enable rapid development of complex packe...
Charlie Wiseman, Jonathan S. Turner, Michela Becch...
VR
2010
IEEE
188views Virtual Reality» more  VR 2010»
15 years 3 months ago
Illuminating the past: state of the art
Virtual reconstruction and representation of historical environments and objects have been of research interest for nearly two decades. Physically-based and historically accurate ...
Jassim Happa, Mark Mudge, Kurt Debattista, Alessan...
134
Voted
SPIN
2001
Springer
15 years 9 months ago
From Model Checking to a Temporal Proof
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...
Doron Peled, Lenore D. Zuck
BPM
2009
Springer
101views Business» more  BPM 2009»
15 years 6 months ago
Experiencing Process Flexibility Patterns with Alaska Simulator
Alaska Simulator is an interactive software tool developed at the University of Innsbruck which allows people to explore different approaches to process flexibility by using a fami...
Barbara Weber, Stefan Zugal, Jakob Pinggera, Werne...
CSL
2007
Springer
15 years 5 months ago
On noise masking for automatic missing data speech recognition: A survey and discussion
Automatic speech recognition (ASR) has reached very high levels of performance in controlled situations. However, the performance degrades significantly when environmental noise ...
Christophe Cerisara, Sébastien Demange, Jea...