298 search results - page 14 / 60 » UPPAAL - Now, Next, and Future |
IADIS
2003
13 years 8 months ago
2003
The paper presents the results of a survey on the current and future role of web services technologies in banking and financial services organizations. The survey asked financial ...
ICCAD
2003
IEEE
14 years 3 months ago
2003
IEEE
Modeling and simulating pipelined processors in procedural languages such as C/C++ requires lots of cost in handling concurrent events, which hinders fast simulation. A number of ...
IWQOS
2005
Springer
14 years 6 days ago
2005
Springer
The goal of this paper is to foster discussions on future directions for QoS related research. The paper takes the viewpoint of an operator; as an example it presents the topology,...
ISPD
2003
ACM
13 years 12 months ago
2003
ACM
Design rules in advanced IC manufacturing processes are increasingly problematic for modern router architectures and algorithms. This paper first reviews types and causes of “d...
WWW
2003
ACM
14 years 7 months ago
2003
ACM
This paper proposes an evolutionary algorithm that evolves a population of finite state automata to exploit user navigational path behavior to predict, in real-time, future reques...