4693 search results - page 516 / 939 » Verifying Hybrid Systems |
181
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
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...
107
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—We present an application tailored packed-based SoC communication system with one-hop communication between all entities, priority-based arbitration, broadcast and multicast sup...
214
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents the alignment results of Lily for the ontology alignment contest OAEI 2009. Lily is an ontology mapping system, and it has four functions: generic ontology matc...
172
click to vote
ICEIS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper investigates Grid computing from the point of view three basic computing platforms. The platform consists of virtual compute resources, a programming environment all...
175
click to vote
VR
2008
IEEE
16 years 1 months ago
2008
IEEE
One of the main goals of anywhere augmentation is the development of automatic algorithms for scene acquisition in augmented reality systems. In this paper, we present Envisor, a ...