955 search results - page 163 / 191 » Model Checking Operator Procedures |
180
click to vote
SECON
2008
IEEE
16 years 22 days 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...
151
Voted
ICC
2007
IEEE
16 years 21 days 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...
166
click to vote
ATAL
2007
Springer
16 years 16 days 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 ...
169
click to vote
FROCOS
2007
Springer
16 years 16 days 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...
169
click to vote
SMI
2006
IEEE
16 years 11 days 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...