2243 search results - page 21 / 449 » Contracts for Mobile Processes |
121
Voted
JSAC
2011
14 years 4 months ago
2011
—Cognitive radio is a promising paradigm to achieve efficient utilization of spectrum resource by allowing the unlicensed users (i.e., secondary users, SUs) to access the licens...
216
Voted
GAMESEC
2011
14 years 1 months ago
2011
Recent works on Internet risk management have proposed the idea of cyber-insurance to eliminate risks due to security threats, which cannot be tackled through traditional means suc...
103
Voted
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
Information systems outsourcing has been viewed as an attractive option by many senior managers generally because of the belief that IS outsourcing vendors can achieve economies o...
149
click to vote
TOG
2008
15 years 1 months ago
2008
eleton is a very useful 1D structure to abstract the geometry and topology of a 3D object. Extraction of curve-skeletons is a fundamental problem in computer graphics, visualizatio...
105
click to vote
LCTRTS
2010
Springer
15 years 8 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...