Sciweavers

1916 search results - page 306 / 384
» Facilitating Communication in Software Development
Sort
View
FMCO
2007
Springer
129views Formal Methods» more  FMCO 2007»
14 years 4 months ago
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
Peter Van Roy, Seif Haridi, Alexander Reinefeld, J...
ISSAC
2007
Springer
162views Mathematics» more  ISSAC 2007»
14 years 4 months ago
Multiprocessed parallelism support in ALDOR on SMPs and multicores
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...
Marc Moreno Maza, Ben Stephenson, Stephen M. Watt,...
ICRA
2006
IEEE
158views Robotics» more  ICRA 2006»
14 years 4 months ago
An Agent-based Mobile Robot System using Configurable SOC Technique
– To make a mobile robot with real-time vision system adapt to the highly dynamic environments and emergencies under the real-time constraints, a significant account of processin...
Yan Meng
IEEECIT
2005
IEEE
14 years 3 months ago
An Intelligent Connector Based Framework for Dynamic Architecture
Component based software development provides an architectural way for dynamic reconfiguration. Interactions between components are explicitly represented by connectors, then reco...
Xin Peng, Wenyun Zhao, Liang Zhang, Yijian Wu
ISSRE
2005
IEEE
14 years 3 months ago
Testing Web Services by XML Perturbation
The eXtensible Markup Language (XML) is widely used to transmit data across the Internet. XML schemas are used to define the syntax of XML messages. XML-based applications can re...
Wuzhi Xu, Jeff Offutt, Juan Luo