Sciweavers

3330 search results - page 293 / 666
» software 2010
Sort
View
ECEASST
2010
15 years 1 months ago
Conditional Adaptive Star Grammars
Abstract. The precise specification of software models is a major concern in model-driven design of object-oriented software. In this paper, we investigate how program graphs, a la...
Berthold Hoffmann
ECEASST
2010
15 years 1 months ago
Testing as a Certification Approach
: For years, one of the main reasons to buy commercial software instead of adopting open-source applications was the, supposed, guarantee of quality. Unfortunately that was rarely ...
Alberto Simões, Nuno Carvalho, José ...
212
Voted
BIRTHDAY
2010
Springer
15 years 14 days ago
Aspects of Data-Intensive Cloud Computing
Abstract. The concept of Cloud Computing is by now at the peak of public attention and adoption. Driven by several economic and technological enablers, Cloud Computing is going to ...
Sebastian Frischbier, Ilia Petrov
154
Voted
CCIA
2010
Springer
14 years 10 months ago
WizArg: Visual Argumentation Framework Solving Wizard
Extension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning. An important concern in extensionbased-argumentation semantics is t...
Ignasi Gómez-Sebastià, Juan Carlos N...
147
Voted
SIGMETRICS
2010
ACM
153views Hardware» more  SIGMETRICS 2010»
14 years 10 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...