3765 search results - page 172 / 753 » Formal Methods for Systems Engineering Behavior Models |
191
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
A key challenge facing IT organizations today is their evolution towards adopting e-business practices that gives rise to the need for reengineering their underlying software syst...
201
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents an auction system based on mobile agents. By using a proxy server, a user can generate a mobile auction agent by giving the bidding information, including the ...
177
click to vote
FSKD
2007
Springer
15 years 10 months ago
2007
Springer
The uncertainty may be divides it into two major groups, "objective uncertainty" and "subjective uncertainty". The objective uncertainty has already been exten...
138
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
167
click to vote
ISPAN
1999
IEEE
15 years 10 months ago
1999
IEEE
Current distributed parallel platforms can provide the resources required to execute a scientific application efficiently. However, when these platforms are shared by multiple use...