Sciweavers

2436 search results - page 262 / 488
» An Experiment in the Design of Software Agents
Sort
View
SIGMETRICS
2010
ACM
153views Hardware» more  SIGMETRICS 2010»
15 years 1 months ago
Using virtualization and live migration in a scalable mobile wireless testbed
Laboratory-based mobile wireless testbeds such as MeshTest and the CMU Wireless Emulator are powerful platforms that allow users to perform controlled, repeatable, mobile wireless ...
Dongwoon Hahn, Ginnah Lee, Brenton D. Walker, Matt...
ICWE
2007
Springer
16 years 23 days ago
WebRatio 5: An Eclipse-Based CASE Tool for Engineering Web Applications
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...
Roberto Acerbis, Aldo Bongio, Marco Brambilla, Ste...
200
Voted
ESEM
2009
ACM
15 years 11 months ago
Impact of the visitor pattern on program comprehension and maintenance
In the software engineering literature, many works claim that the use of design patterns improves the comprehensibility of programs and, more generally, their maintainability. Yet...
Sebastien Jeanmart, Yann-Gaël Guéh&eac...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 11 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
ARCS
2007
Springer
15 years 10 months ago
Toward Self-adaptive Embedded Systems: Multi-objective Hardware Evolution
Abstract. Evolutionary hardware design reveals the potential to provide autonomous systems with self-adaptation properties. We first outline an architectural concept for an intrins...
Paul Kaufmann, Marco Platzner