6846 search results - page 268 / 1370 » Developing an Active Observer |
144
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Children with severe motor impairments such as with disabilities resulting from severe cerebral palsy benefit greatly from assistive technology, but very little guidance is availa...
154
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
151
click to vote
TAMODIA
2008
15 years 8 months ago
2008
: The traditional notions of developer and user are unable to reflect the fact that many software systems nowadays are developed with the participation of many people of different ...
198
click to vote
HICSS
2005
IEEE
16 years 8 days ago
2005
IEEE
The complex business environment requires managing business processes with the ability to adapt to changes and to collaborate in activities. Conventional workflow approaches based...
179
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
— In this paper we present a new approach to workflow analysis. There are efforts to design and verify workflow models using both Activity diagrams and Petri nets. We model the w...