34229 search results - page 6385 / 6846 » Power-aware computing systems |
191
click to vote
QEST
2005
IEEE
16 years 14 days ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
133
click to vote
GI
2005
Springer
16 years 12 days ago
2005
Springer
: Angesichts zunehmend komplexer werdender vernetzter IT-Infrastrukturen sind das integrierte Design und das automatisierte Management der unterschiedlichen Sicherheitstechniken un...
152
click to vote
GI
2004
Springer
16 years 8 days ago
2004
Springer
: Um Webservices zur Verarbeitung heterogener Daten im Web dynamisch an die aktuellen Erfordernisse anpassen zu k¨onnen, wird ein flexibles und effizientes Variantenmanagement a...
131
click to vote
GI
2004
Springer
16 years 8 days ago
2004
Springer
Abstract: Es wird eine nat¨urlichsprachliche L¨osung vorgestellt, die in der Hauptverwaltung der Sixt AG seit Dezember 2003 im Einsatz ist. Das System zur automatischen Vermittlu...
205
click to vote
C5
2003
IEEE
16 years 5 days ago
2003
IEEE
SuperSwiki is a not yet well defined term. Its origins go back to Ward Cunningham's Wiki and its Squeak variant, the Swiki. It provides a place to share and edit web pages, f...