630 search results - page 122 / 126 » Stateful Aspects in JAsCo |
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
— Developers and end-users have to interface robotic systems for control and feedback. Such systems are typically co-engineered with their graphical user interfaces. In the past,...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
Due to the complexity associated with developing parallel applications, scientists and engineers rely on highlevel software libraries such as PETSc, ScaLAPACK and PESSL to ease th...
EEMMAS
2007
Springer
14 years 1 months ago
2007
Springer
Complexity of near future and even nowadays applications is exponentially increasing. In order to tackle the design of such complex systems, being able to engineer self-organising ...
VMCAI
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
Automatic facial expression analysis is an important aspect of Human Machine Interaction as the face is an important communicative medium. We use our face to signal interest, disa...