Sciweavers

154 search results - page 11 / 31
» Design pattern implementation in object teams
Sort
View
CDVE
2007
Springer
136views Visualization» more  CDVE 2007»
14 years 4 months ago
Cooperative Validation in Distributed Control Systems Design
The team of engineers designing and implementing distributed control system software must communicate within a multidisciplinary environment. One of the main problems is the intera...
Dariusz Choinski, Mieczyslaw Metzger, Witold Nocon...
VSTTE
2010
Springer
13 years 8 months ago
Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
Stan Rosenberg, Anindya Banerjee, David A. Naumann
IROS
2008
IEEE
132views Robotics» more  IROS 2008»
14 years 4 months ago
Digital representation of everyday objects in a robot ecology via proxies
Abstract— Robotic middlewares increasingly allow the seamless integration of multiple heterogeneous robots into one distributed system. Unfortunately, very simple devices like ta...
Md. Jayedur Rashid, Mathias Broxvall, Alessandro S...
AC
2003
Springer
14 years 3 months ago
InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming
Abstract. We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to scale-up the ...
Dan Barak, David Harel, Rami Marelly
ICWE
2004
Springer
14 years 3 months ago
Loosely Coupled Web Services in Remote Object Federations
Abstract Loosely coupled services are gaining importance in many business domains. However, compared to OO-RPC middleware approaches, emerging technologies proposed to implement lo...
Uwe Zdun