Sciweavers

640 search results - page 15 / 128
» Knowledge-Based Automation of a Design Method for Concurrent...
Sort
View
CN
2007
224views more  CN 2007»
15 years 3 months ago
Automated adaptive intrusion containment in systems of interacting services
Large scale distributed systems typically have interactions among different services that create an avenue for propagation of a failure from one service to another. The failures ...
Yu-Sung Wu, Bingrui Foo, Yu-Chun Mao, Saurabh Bagc...
DAC
2008
ACM
16 years 4 months ago
Predictive runtime verification of multi-processor SoCs in SystemC
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulationbased verification techniques remove the concurrency informat...
Alper Sen, Vinit Ogale, Magdy S. Abadir
AAIP
2009
15 years 4 months ago
Automated Method Induction: Functional Goes Object Oriented
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed a...
Thomas Hieber, Martin Hofmann 0008
IROS
2007
IEEE
112views Robotics» more  IROS 2007»
15 years 9 months ago
Orchestrating concurrency in robot swarms
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
Anthony Cowley, Camillo J. Taylor
ICCS
2003
Springer
15 years 8 months ago
Data Driven Design Optimization Methodology: A Dynamic Data Driven Application System
Engineering design optimization using concurrent integrated experiment and simulation is a Dynamic Data Driven Application System (DDDAS) wherein remote experiment and simulation c...
Doyle D. Knight