727 search results - page 61 / 146 » ads 2004 |
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Information systems are vulnerable to accidental or malicious attacks. Security models for commercial computer systems exist, but information systems security is often ig...
141
Voted
CIS
2004
Springer
15 years 6 months ago
2004
Springer
The pi calculus has been applied to modelling biochemical networks. In these applications, the modelling is done without considerations to exceptions. The Ipi calculus, the Interfe...
118
click to vote
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
Evolution of quantum circuits faces two major challenges: complex and huge search spaces and the high costs of simulating quantum circuits on conventional computers. In this paper ...
83
Voted
IFL
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...
MWCN
2004
Springer
15 years 6 months ago
2004
Springer
— We consider node localization problems in ad hoc wireless networks in which two types of nodes are considered: nodes with self-locating capability like GPS and nodes with no se...