Sciweavers

2613 search results - page 179 / 523
» Active Software Artifacts
Sort
View
ISORC
2009
IEEE
16 years 1 months ago
Fault-Tolerance for Component-Based Systems - An Automated Middleware Specialization Approach
General-purpose middleware, by definition, cannot readily support domain-specific semantics without significant manual efforts in specializing the middleware. This paper prese...
Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokha...
CSCWD
2009
Springer
16 years 1 months ago
Collaborative technologies in international distance education
We present a case study of an international distance education course involving two sites in the US and one site in Pakistan. We use the case study to examine the elements of the ...
Richard J. Anderson, Ruth E. Anderson, Natalie Lin...
IFM
2009
Springer
16 years 1 months ago
Verifying UML/OCL Operation Contracts
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
Jordi Cabot, Robert Clarisó, Daniel Riera
IROS
2007
IEEE
122views Robotics» more  IROS 2007»
16 years 22 days ago
Lagrangian dynamics of open multibody systems with generalized holonomic and nonholonomic joints
— Standard methods to model multibody systems are aimed at systems with configuration spaces isomorphic to Rn . This limitation leads to singularities and other artifacts in cas...
Vincent Duindam, Stefano Stramigioli
CAISE
2007
Springer
16 years 18 days ago
Modeling Ubiquitous Business Process Driven Applications
This paper presents a model driven approach for the generation of business process driven web applications within the context of ubiquitous environments. For this reason, we have t...
Victoria Torres, Pau Giner, Vicente Pelechano