5113 search results - page 991 / 1023 » Model-integrated system development: models, architecture, a... |
162
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— Recent research trends and technology developments are bringing us closer to the realization of autonomous multirobot systems performing increasingly complex missions. ...
147
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
This paper presents an efficient technique for placement and routing of sensors/actuators and processing units in a grid network. Our system requires an extremely high level of ro...
206
click to vote
TCGOV
2005
Springer
15 years 11 months ago
2005
Springer
Growing complexity of the data and processes to be managed, as well as the transition from strict governmental regulation towards autonomy make academic institutions a significant ...
187
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
169
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Universities have severe difficulties in using elearning applications successfully due to organizational problems to provide them. Providing a web-based learning environment is an...