2488 search results - page 58 / 498 » Distributed Non-binary Constraints |
GI
2001
Springer
15 years 5 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
106
click to vote
CAV
2010
Springer
15 years 22 days ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
86
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
In the case of multicomponent AM-FM signals, the idealized representation which consists of weighted trajectories on the time-frequency (TF) plane, is intrinsically sparse. Recent...
121
click to vote
B
2007
Springer
15 years 6 months ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
87
Voted
IPSN
2005
Springer
15 years 6 months ago
2005
Springer
: This paper addresses the problem of maximizing the service lifetime of a distributed battery-powered sensor network in the context of the network interdiction problem under user-...