3914 search results - page 416 / 783 » Automating SLA modeling |
203
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
138
click to vote
CICLING
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Spanglish is the simultaneous use, or alternating of both, traditional Spanish and English within the same conversational event. This interlanguage is commonly used in U....
202
click to vote
TARK
2007
Springer
16 years 28 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
170
click to vote
HICSS
2003
IEEE
16 years 3 days ago
2003
IEEE
It is now apparent that our nation’s infrastructures and essential utilities have been optimized for reliability in benign operating environments. As such, they are susceptible ...
169
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Innumerable biological investigations require comparing collections of molecules, cells or organisms to one another with respect to one or more of their properties. Al...