1655 search results - page 165 / 331 » State, Event, Time and Diagram in System Modeling |
192
click to vote
CISS
2011
IEEE
14 years 10 months ago
2011
IEEE
—In this work we address the problem of state estimation in dynamical systems using recent developments in compressive sensing and sparse approximation. We formulate the traditio...
186
click to vote
ENTCS
2008
15 years 6 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
283
click to vote
JUCS
2002
15 years 6 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
157
click to vote
MOBIQUITOUS
2005
IEEE
15 years 12 months ago
2005
IEEE
Ubiquitous Computing Environments feature massively distributed systems containing a large number of devices, services and applications that help end-users perform various kinds o...
148
click to vote
SENSYS
2006
ACM
16 years 10 days ago
2006
ACM
Event-driven programming is a popular model for writing programs for tiny embedded systems and sensor network nodes. While event-driven programming can keep the memory overhead do...