2623 search results - page 161 / 525 » tools 2010 |
173
click to vote
CONCURRENCY
2010
15 years 6 months ago
2010
Coupling recent imaging capabilities with microstructural finite element (microFE) analysis offers a powerful tool to determine bone stiffness and strength. It shows high potentia...
185
click to vote
ENTCS
2006
15 years 6 months ago
2006
Mobile Ad hoc NETworks (MANETs) are dynamic networks populated by mobile stations. Stations in MANETs are usually laptops, PDAs or mobile phones. These devices feature Bluetooth a...
165
click to vote
ENTCS
2006
15 years 6 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
190
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
163
click to vote
ENTCS
2007
15 years 6 months ago
2007
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...