660 search results - page 80 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
110
click to vote
UML
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
112
Voted
ECRTS
2008
IEEE
15 years 9 months ago
2008
IEEE
There is a need for using virtual memory in real-time applications: using virtual addressing provides isolation between concurrent processes; in addition, paging allows the execut...
149
Voted
ECBS
1999
IEEE
15 years 6 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
160
click to vote
AIIA
1995
Springer
15 years 6 months ago
1995
Springer
Genetic Programming (GP) is a method of automatically inducing programs by representing them as parse trees. In theory, programs in any computer languages can be translated to par...
110
click to vote
SBIA
2004
Springer
15 years 7 months ago
2004
Springer
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...