1407 search results - page 144 / 282 » Using Use Cases in Executable Z |
156
click to vote
ICECCS
1998
IEEE
15 years 8 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
140
click to vote
OPODIS
2008
15 years 5 months ago
2008
We consider asynchronous deterministic broadcasting in radio networks. An execution of a broadcasting protocol is a series of events, each of which consists of simultaneous transm...
140
click to vote
ENTCS
2007
15 years 4 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
178
click to vote
CASES
2010
ACM
15 years 2 months ago
2010
ACM
In modern wireless devices, two broad classes of compute-intensive applications are common: those with high amounts of data-level parallelism, such as signal processing used in wi...
163
click to vote
ICAI
2010
15 years 2 months ago
2010
- In this article, we present an algorithm which is capable of transforming a gridded dogleg channel routing problem into a constraint programming (CP) problem. The transformed CP ...