Sciweavers

1981 search results - page 165 / 397
» The State of Change: A Survey
Sort
View
NOMS
2008
IEEE
16 years 27 days ago
PathCrawler: Automatic harvesting web infra-structure
Abstract—As network topologies have grown in size and complexity, it is becoming a daunting task for network administrators to keep track the capacity dimensioning of newly insta...
Cesar Marcondes, M. Y. Sanadidi, Mario Gerla, Ramo...
HASE
2007
IEEE
16 years 25 days ago
On the Verifiability of Programs Written in the Feature Language Extensions
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
Wu-Hon F. Leung
BPM
2007
Springer
125views Business» more  BPM 2007»
16 years 20 days ago
Semantic Analysis of Flow Patterns in Business Process Modeling
Control flow elements are important in process models. Such elements usually appear in graphic models as splits and joins of activity sequences. Workflow patterns reflect possible ...
Pnina Soffer, Yair Wand, Maya Kaner
ECAL
2007
Springer
16 years 20 days ago
Controlling an Anthropomimetic Robot: A Preliminary Investigation
The human body has a complex skeleton, giving a very high number of degrees of freedom, and is actuated by a large number of elastic elements muscles and tendons. As a consequence,...
Hugo Gravato Marques, Richard Newcombe, Owen Holla...
SSS
2007
Springer
16 years 18 days ago
Stabilization of Loop-Free Redundant Routing
Consider a network of processes that exchange messages via FIFO communication channels. Each process chooses a subset of its neighboring processes to be its successors. Furthermore...
Jorge Arturo Cobb