Sciweavers

1387 search results - page 153 / 278
» Trends in Mobile Application Development
Sort
View
131
Voted
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 8 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
123
Voted
PLDI
2009
ACM
15 years 10 months ago
Language-based security on Android
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
Avik Chaudhuri
140
Voted
EUROSSC
2009
Springer
15 years 10 months ago
A Context Lifecycle for Web-Based Context Management Services
Abstract. During the development of context aware applications a context management component must traditionally be created. This task requires specialist context lifecycle managem...
Gearoid Hynes, Vinny Reynolds, Manfred Hauswirth
105
Voted
IV
2000
IEEE
110views Visualization» more  IV 2000»
15 years 8 months ago
MACAO - A Journey into CAx Interoperability and Collaborative Design
The increasing parallelisation of development processes as well as the ongoing trends towards virtual product development and outsourcing of development activities strengthen the ...
Florian Arnold
141
Voted
JUCS
2010
131views more  JUCS 2010»
15 years 2 months ago
Toward the Next Wave of Services: Linked Services for the Web of Data
: It has often been argued that Web services would have a tremendous impact on the Web, as a core enabling technology supporting a highly efficient service-based economy at a globa...
Carlos Pedrinaci, John Domingue