9018 search results - page 1098 / 1804 » 3D-Brain Model Software |
176
Voted
FSTTCS
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
169
click to vote
ISORC
2003
IEEE
16 years 24 days ago
2003
IEEE
This paper presents our experiments for integrating OMG MIOP (Multicast Inter-ORB Protocol) specifications into a CORBA ORB. We proposed an integration model which allows the coex...
216
click to vote
CIA
2003
Springer
16 years 22 days ago
2003
Springer
Software agents are one of the building blocks of ambient intelligence and pervasive computing. Adaptation to changes in the execution context is necessary in order to provide cont...
212
click to vote
ANSS
1999
IEEE
15 years 12 months ago
1999
IEEE
The need for traffic analysis and traffic management applies to a vast range of disciplines. Simulation of traffic may assist in both analysis and management of traffic. In many s...
219
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...