1655 search results - page 190 / 331 » State, Event, Time and Diagram in System Modeling |
156
click to vote
FASE
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
171
click to vote
DBPL
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we develop a new method for solving queries on semistructured data. The main idea is to see a database as a Kripke Transition System (a model) and a query as a formul...
173
click to vote
ISLPED
1999
ACM
15 years 10 months ago
1999
ACM
-- The goal of a dynamic power management policy is to reduce the power consumption of an electronic system by putting system components into different states, each representing ce...
218
click to vote
FGCS
2011
15 years 1 months ago
2011
A description of a data item’s provenance can be provided in different forms, and which form is best depends on the intended use of that description. Because of this, differen...
174
click to vote
MEMOCODE
2007
IEEE
16 years 21 days ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...