7580 search results - page 1094 / 1516 » Prometheus design tool |
176
Voted
EGC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Monitoring systems are nowadays ubiquitous in complex environments, such as Grids. Their use is fundamental for performance evaluation, problem spotting, advanced debuggi...
165
click to vote
EMISA
2005
Springer
16 years 8 days ago
2005
Springer
: Business process modeling and design, as an essential part of business process management, has gained much attention in recent years. An important tool for this purpose is refere...
183
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using rand...
193
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
179
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...