Sciweavers

3765 search results - page 172 / 753
» Formal Methods for Systems Engineering Behavior Models
Sort
View
KDD
2002
ACM
112views Data Mining» more  KDD 2002»
16 years 7 months ago
From run-time behavior to usage scenarios: an interaction-pattern mining approach
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...
Mohammad El-Ramly, Eleni Stroulia, Paul G. Sorenso...
AINA
2004
IEEE
15 years 10 months ago
A Mathematical Model for Analyzing the Proxy Bidding Method for Mobile Agent-Based Auction Services
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 ...
Jie Zhang, Henry C. B. Chan
FSKD
2007
Springer
128views Fuzzy Logic» more  FSKD 2007»
15 years 10 months ago
A First Step towards an Epistemology of the Subjective Uncertainty: Its Premises and Modeling
The uncertainty may be divides it into two major groups, "objective uncertainty" and "subjective uncertainty". The objective uncertainty has already been exten...
Fabio Campos, Andre Neves, R. Souza
SAS
2004
Springer
15 years 12 months ago
Spatial Analysis of BioAmbients
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
Hanne Riis Nielson, Flemming Nielson, Henrik Pileg...
ISPAN
1999
IEEE
15 years 10 months ago
Using Stochastic Intervals to Predict Application Behavior on Contended Resources
Current distributed parallel platforms can provide the resources required to execute a scientific application efficiently. However, when these platforms are shared by multiple use...
Jennifer M. Schopf, Francine Berman