2558 search results - page 457 / 512 » Model Composition Contracts |
145
Voted
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Purpose: Drawing from literature on innovation, strategy and culture the objective of this study is to explore the role of perceived potentials and perceived strategic importance ...
142
Voted
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
137
Voted
VR
2008
IEEE
15 years 10 months ago
2008
IEEE
The rapid and efficient creation of virtual environments has become a crucial part of virtual reality applications. In particular, civil and defense applications often require an...
142
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper describes a combined modulation scheme for time hopping ultra wideband (TH-UWB) radio systems using on-off keying (OOK) and pulse shape modulation (PSM). For this sc...
137
Voted
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...