1823 search results - page 80 / 365 » Formal specification: a roadmap |
150
click to vote
CSI
2007
15 years 4 months ago
2007
The subject of research in this paper is RM-ODP, an ISO/ITU-T international standard. We investigate an important challenge that the standard faces, specifically the absence of a ...
140
click to vote
IAT
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper a cognitive model for visual attention is introduced. The cognitive model is part of the design of a software agent that supports a naval warfare officer in its task...
137
click to vote
ICESS
2005
Springer
15 years 10 months ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
129
click to vote
ICSM
1996
IEEE
15 years 8 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...