4609 search results - page 833 / 922 » Automatic Generation of Sigma-Protocols |
188
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
A fuzzy logic algorithm has been developed that automatically allocates electronic attack (EA) resources distributed over different platforms in real-time. The controller must be ...
208
Voted
IFIP
2005
Springer
15 years 11 months ago
2005
Springer
Digital forensic investigators are often faced with the task of manually examining a large number of (photographic) images in order to identify potential evidence. The task can be...
156
click to vote
IPSN
2005
Springer
15 years 11 months ago
2005
Springer
—We describe the development of a set of embedded system building blocks, known as eBlocks. An eBlock network can be viewed as a basic form of sensor network that can be develope...
146
click to vote
ASM
2004
ASM
15 years 11 months ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
179
click to vote
SERA
2004
Springer
15 years 11 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...