4348 search results - page 306 / 870 » Using UML for Modeling Complex Real-Time Systems |
187
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
200
click to vote
WOA
2003
15 years 8 months ago
2003
— Mobile Agents model is widely accepted as a good solution to simplify the coordination in a complex and distributed environment. Pervasive computing, presents many issues regar...
180
click to vote
ER
2007
Springer
16 years 26 days ago
2007
Springer
There are a number of issues for information systems which are required to collect data urgently that are not well accommodated by current conceptual modelling methodologies and a...
159
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
In the development of bus-based systems and individual PCB boards interfacing to a bus, the simulation usually requires a specific test bench or creation of quite complex stimuli....
155
click to vote
MICRO
2008
IEEE
15 years 6 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...