2366 search results - page 331 / 474 » Pfaffian Hybrid Systems |
218
click to vote
HEURISTICS
2010
15 years 1 months ago
2010
Operation management of underground passenger transport systems is associated with combinatorial optimization problems (known as crew and train scheduling and rostering) which bel...
162
click to vote
ESCIENCE
2007
IEEE
16 years 24 days ago
2007
IEEE
Nowadays, grid and peer-to-peer (p2p) technologies have become popular solutions for large-scale resource sharing and system integration. For e-science workflow systems, grid is a...
162
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...
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...
194
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...