Sciweavers

15635 search results - page 363 / 3127
» A Designing Model of XML-Dataweb
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 11 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
AUTOMATICA
2006
98views more  AUTOMATICA 2006»
15 years 6 months ago
Stabilization of sampled-data nonlinear systems via backstepping on their Euler approximate model
Two integrator backstepping designs are presented for digitally controlled continuous-time plants in special form. The controller designs are based on the Euler approximate discre...
Dragan Nesic, Andrew R. Teel
RCIS
2010
15 years 4 months ago
Using Software Metrics in the Evaluation of a Conceptual Component Model
Every interactive system has a functional part and an interactive part. However the software engineering and the human-computer-interaction communities work separately in terms of ...
Eric Ceret, Sophie Dupuy-Chessa, Guillaume Godet-B...
WISE
2002
Springer
15 years 11 months ago
UTML: Unified Transaction Modeling Language
Web transactions may be complex, composed of several sub-transactions accessing different resources including legacy systems. They may also have complex semantics. To deal with co...
Nektarios Gioldasis, Stavros Christodoulakis
ICWE
2007
Springer
16 years 26 days ago
Model-Driven Development of Web Applications with UWA, MVC and JavaServer Faces
This paper presents a model-driven approach to the development of web applications based on the Ubiquitous Web Application (UWA) design framework, the Model-View-Controller (MVC) a...
Damiano Distante, Paola Pedone, Gustavo Rossi, Ger...