2637 search results - page 28 / 528 » Tool Supported Specification and Simulation of Distributed S... |
114
Voted
UML
2001
Springer
15 years 6 months ago
2001
Springer
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
131
Voted
APSEC
1996
IEEE
15 years 6 months ago
1996
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as aformula of "adom...
106
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
This paper proposed a new approach that integrated an artificial market simulation and text-mining with real information. In this approach, economic trends were extracted from te...
126
Voted
IUI
2009
ACM
15 years 10 months ago
2009
ACM
Numerous techniques exist to help users automate repetitive tasks; however, none of these methods fully support enduser creation, use, and modification of the learned tasks. We pr...
128
Voted
HASE
2007
IEEE
15 years 5 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...