8627 search results - page 1385 / 1726 » Software Engineering Using RATionale |
209
Voted
EMSOFT
2005
Springer
16 years 11 days ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
165
click to vote
FSTTCS
2005
Springer
16 years 11 days ago
2005
Springer
In this paper4 , we compare Timed Automata (TA) and Time Petri Nets (TPN) with respect to weak timed bisimilarity. It is already known that the class of bounded TPNs is strictly in...
246
click to vote
FSTTCS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We consider exchange economies where the traders’ preferences are expressed in terms of the extensively used constant elasticity of substitution (CES) utility functions...
176
click to vote
FSTTCS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
187
click to vote
GECCO
2005
Springer
16 years 11 days ago
2005
Springer
Deciding the appropriate population size and number of islands for distributed island-model genetic algorithms is often critical to the algorithm’s success. This paper outlines ...