3429 search results - page 366 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
172
click to vote
KBSE
2000
IEEE
15 years 9 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
133
Voted
DAC
2005
ACM
15 years 6 months ago
2005
ACM
This paper proposes a rapid and accurate evaluation scheme for cycle counts of a pipelined processor using evaluation reuse technique. Since exploration of an optimal processor is...
166
Voted
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Intelligent agents that are intended to work in dynamic environments must be able to gracefully handle unsuccessful tasks and plans. In addition, such agents should be able to mak...
151
click to vote
JUCS
2007
15 years 4 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
145
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
Enormous amounts of information are produced every day, all over the world. but very little of it is true. In this paper, we describe the modeling component of a current events an...