293 search results - page 43 / 59 » Towards an Automatic Modeling Tool for Observed System Behav... |
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
The emerging science of simulation enables us to explore the dynamics of large and complex systems even if a formal representation and analysis of the system is intractable and a ...
SPIN
2004
Springer
14 years 2 months ago
2004
Springer
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Ubiquitous Mobile Systems (UMSs) allow for automated capturing of events. Both mobility and ubiquity are supported by electronic means such as mobile phones and PDAs and ...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
CRV
2009
IEEE
14 years 3 months ago
2009
IEEE
Understanding the human gait is an important objective towards improving elderly mobility. In turn, gait analyses largely depend on kinematic and dynamic measurements. While the m...