2556 search results - page 215 / 512 » The Triconnected Abstraction of Process Models |
227
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
Transaction level models (TLMs) can be constructed at t levels of abstraction, denoted as untimed (UT), cycle-approximate (CX), and cycle accurate (CA) in this paper. The choice o...
220
click to vote
ASM
2010
ASM
16 years 2 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
237
click to vote
CALCO
2007
Springer
16 years 1 months ago
2007
Springer
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...
221
click to vote
ROBOCUP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Two main challenges of robot action planning in real domains are uncertain action effects and dynamic environments. In this paper, an instance-based action model is lear...
204
click to vote
EDOC
2002
IEEE
16 years 4 days ago
2002
IEEE
Continuous change of user requirements has become a constant for geo-information systems. Designing systems that can adapt to such changes requires an appropriate ethodology that ...