3119 search results - page 448 / 624 » Abstract Requirement Analysis in Multiagent System Design |
155
click to vote
EHCI
2004
15 years 7 months ago
2004
Ubiquitous computing requires a multitude of devices to have access ame services. Abstract specifications of user interfaces are designed to separate the definition of a user inter...
134
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
170
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
To meet conflicting flexibility, performance and cost constraints of demanding signal processing applications, future designs in this domain will contain an increasing number of a...
152
click to vote
ICRA
2006
IEEE
16 years 13 days ago
2006
IEEE
– A mobile in vivo camera robot was developed to provide the ability for a single port biopsy procedure. Such a robot can be inserted into the abdominal cavity through a standard...
187
click to vote
TWC
2008
15 years 6 months ago
2008
We combine space-time coding and transmit beamforming over multiple-antenna quasi-static fading channels using resolution-constrained channel state information at the transmitter ...