158 search results - page 18 / 32 » High-Level Modeling and Analysis of TCAS |
CIBSE
2009
ACM
14 years 4 months ago
2009
ACM
Nowadays building a web application is still a complex process that requires a big effort to get several tasks done. This article presents a domain specific language aimed to simpl...
AINA
2007
IEEE
14 years 4 months ago
2007
IEEE
In hierarchical distributed systems, shared data access can be controlled by assigning user groups single cryptographic keys that allow high level users derive low level keys, but...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
– In this paper, we present a general mathematical foundation of hormone-inspired control for the selfreconfigurable robotic system. Problem considered here is the lack of a math...
IBPRIA
2005
Springer
14 years 3 months ago
2005
Springer
We present a method that estimates high level animation parameters (muscle contractions, eye movements, eye lids opening, jaw motion and lips contractions) from a marker-less face ...
COMPSAC
2003
IEEE
14 years 3 months ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...