Sciweavers

10809 search results - page 1756 / 2162
» Location Based Services
Sort
View
ICCAD
2010
IEEE
119views Hardware» more  ICCAD 2010»
15 years 5 months ago
Symbolic system level reliability analysis
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...
Michael Glaß, Martin Lukasiewycz, Felix Reim...
IEAAIE
2010
Springer
15 years 5 months ago
Improving Timetable Quality in Scheduled Transit Networks
This work deals with an original problem with regard to the traditionally sequential planning process in public transit networks. This problem aims at modifying the network's ...
Valérie Guihaire, Jin-Kao Hao
LPAR
2010
Springer
15 years 5 months ago
SAT Encoding of Unification in EL
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...
Franz Baader, Barbara Morawska
BIOSIG
2009
102views Biometrics» more  BIOSIG 2009»
15 years 5 months ago
SAMLizing the European Citizen Card
: While the use of Federated Identity Management and Single Sign-On based on the Security Assertion Markup Language (SAML) standards becomes more and more important, there are quit...
Jan Eichholz, Detlef Hühnlein, Jörg Schw...
GI
2009
Springer
15 years 5 months ago
Applying Model-Driven Integration Engineering to e-business - striving towards a framework concept
: Changing business requirements such as providing new business services lead to an ongoing need for fast and flexible adaptation of the underlying information systems and infrastr...
Jens Schenderlein, Sascha Sauer, Tobias Krüge...
« Prev « First page 1756 / 2162 Last » Next »