3828 search results - page 158 / 766 » Proof-Based System Engineering Using a Virtual System Model |
188
click to vote
JDCTA
2010
15 years 1 months ago
2010
This paper's research is based on the model of BDI Agent, carries out the research of the modeling and simulating the Virtual Enterprise's partner selection using Swarm ...
149
Voted
CAISE
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. This paper describes research in understanding the requirements for complex information systems that are constructed from one or more generic COTS systems. We argue that,...
176
Voted
UML
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...
188
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
From the point of view of an operating system, a computer is managed and optimized in terms of the application programming model and the management of system resources. For the TF...
193
click to vote
AFRIGRAPH
2001
ACM
15 years 10 months ago
2001
ACM
If a moving image is more expressive than words or than a still image, then an animated facial expression can explain more in depth the feelings of a virtual character. Facial ani...