955 search results - page 163 / 191 » Model Checking Operator Procedures |
105
click to vote
SECON
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—Besides safe navigation (e.g., warning of approaching vehicles), car to car communications will enable a host of new applications, ranging from office-on-the-wheel supp...
84
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— We consider the problem of designing space-timefrequency linear dispersion (LD) codes in wideband multipleinput multiple-output (MIMO) antenna systems employing orthogo...
100
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Optimal resource scheduling in multiagent systems is a computationally challenging task, particularly when the values of resources are not additive. We consider the combinatorial ...
102
click to vote
FROCOS
2007
Springer
15 years 6 months ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
106
Voted
SMI
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents a method to simulate growth phenomena, and its application to the modeling of complex organic shapes (e.g., plants organs) and folded surfaces. Our main contri...