3991 search results - page 267 / 799 » Bounding homogeneous models |
165
click to vote
WIOPT
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract— We investigate two quantities of fundamental interest in a mobile ad-hoc network: the capacity region and the minimum energy function of the network. The capacity regio...
162
click to vote
FSTTCS
2005
Springer
16 years 9 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...
155
click to vote
CONCUR
2004
Springer
16 years 5 days ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
176
click to vote
TCC
2004
Springer
16 years 3 days ago
2004
Springer
In earlier work, we described a “pathological” example of a signature scheme that is secure in the Random Oracle Model, but for which no secure implementation exists. For that...
179
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
Traditional minimum area retiming algorithms attempt to achieve their prescribed objective with no regard to maintaining the initial state of the system. This issue is important f...