258 search results - page 7 / 52 » A High-Level Language for Modeling Algorithms and Their Prop... |
119
click to vote
ECSA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
158
Voted
AVSS
2007
IEEE
15 years 9 months ago
2007
IEEE
A 3D visual hand gesture recognition method is proposed that detects correctly performed signs from stereo camera input. Hand tracking is based on skin detection with an adaptive ...
135
click to vote
ECMDAFA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Current mobile digital communication systems must implement rigorous operations to guarantee high levels of confidentiality and integrity during transmission of critical ...
145
Voted
CC
2003
Springer
15 years 8 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
113
click to vote
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Model transformations are indispensable to model-based development (MBD) where they act as translators between domain-specific languages (DSLs). As a result, transformat...