3561 search results - page 417 / 713 » Design: One, but in different forms |
155
click to vote
INTERACT
2003
15 years 8 months ago
2003
: In one study, people are observed to keep web information for later use through many different methods including the use of Bookmarks (or Favorites), self-addressed email, hand-w...
147
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
The presented work addresses the observation problem for a large class of nonlinear systems, including systems which are nonlinear in the unmeasured states. Assuming partial state ...
184
click to vote
CRIWG
2009
15 years 7 months ago
2009
Intensive research and development has been conducted in the design and creation of groupware systems for distributed users. While for some activities, these groupware tools are wi...
139
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
138
Voted
DEDS
2008
15 years 6 months ago
2008
The paper addresses the problem of designing a component that combined with a known part of a system, called the context FSM, is a reduction of a given specification FSM. We study...