Sciweavers

5433 search results - page 462 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
FORTE
2009
15 years 4 months ago
System Model-Based Definition of Modeling Language Semantics
Abstract. In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecifie...
Hans Grönniger, Jan Oliver Ringert, Bernhard ...
IEEECIT
2010
IEEE
15 years 4 months ago
SESAM: An MPSoC Simulation Environment for Dynamic Application Processing
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. With the increase...
Nicolas Ventroux, Alexandre Guerre, Tanguy Sassola...
ECTEL
2011
Springer
14 years 6 months ago
On the Way to a Science Intelligence: Visualizing TEL Tweets for Trend Detection
This paper presents an adaptable system for detecting trends based on the micro-blogging service Twitter, and sets out to explore to what extent such a tool can support researchers...
Peter Kraker, Claudia Wagner, Fleur Jeanquartier, ...
GIS
2005
ACM
16 years 7 months ago
Visualizing the results of interactive queries for geographic data on mobile devices
The capabilities of current mobile computing devices such as PDAs and mobile phones are making it possible to design and develop mobile GIS applications that provide users with ge...
Stefano Burigat, Luca Chittaro
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
16 years 7 months ago
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
Anders Møller, Peter Thiemann, Simon Holm J...