1580 search results - page 272 / 316 » CoTeSys - Cognition for Technical Systems |
170
click to vote
ICEBE
2007
IEEE
16 years 18 days ago
2007
IEEE
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
174
click to vote
CCS
2007
ACM
16 years 13 days ago
2007
ACM
An alarming trend in malware attacks is that they are armed with stealthy techniques to detect, evade, and subvert malware detection facilities of the victim. On the defensive sid...
140
click to vote
3DGIS
2006
Springer
16 years 8 days ago
2006
Springer
The Democratic Republic of Timor-Leste (East Timor) attained independence on 20 May 2002, marking its separation from Indonesia. As a newly independent country, East Timor is face...
221
click to vote
SCESM
2006
ACM
16 years 6 days ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
168
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...