7206 search results - page 301 / 1442 » Using a Hypermedia System for Systems Engineering |
203
click to vote
CISSE
2008
Springer
15 years 8 months ago
2008
Springer
SRI International's IraqComm system performs bidirectional speech-to-speech machine translation between English and Iraqi Arabic in the domains of force protection, municipal ...
151
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
155
click to vote
FSEN
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
189
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Alhambra is a browser-based system designed to enforce and test web browser security policies. At the core of Alhambra is a policyenhanced browser supporting fine-grain security ...
173
click to vote
GCB
2004
Springer
16 years 7 hour ago
2004
Springer
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...