29147 search results - page 144 / 5830 » System Modeling Resurrected |
151
click to vote
ASPDAC
2010
ACM
15 years 2 months ago
2010
ACM
The gramian approximation methods have been proposed recently to overcome the high computing costs of classical balanced truncation based reduction methods. But those methods typi...
133
click to vote
SOCIALCOM
2010
15 years 2 months ago
2010
This paper describes an interactive social agent platform which examines anthropomorphic robot features in the mobile phone usage context. Our system is smart phone based robot age...
154
click to vote
MCS
2011
Springer
14 years 11 months ago
2011
Springer
The article presents a general classification of the models being developed in the area of sustainability arguing that the existing models represent the ...
151
Voted
SIGPLAN
2002
15 years 4 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
131
click to vote
BNCOD
2009
15 years 2 months ago
2009
Nowadays maintenance of database management systems (DBMSs) often requires offline operations for enhancement of functionality or security updates. This hampers the availability of...