585 search results - page 91 / 117 » Strategy Logic |
106
click to vote
WSC
1998
15 years 3 months ago
1998
Continuous or high-speed manufacturing equipment is an integral part of the food and beverage, pharmaceutical, and consumer products industries. For many years, these industries h...
135
click to vote
SFM
2005
Springer
15 years 7 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
115
click to vote
ATAL
2000
Springer
15 years 6 months ago
2000
Springer
In this paper we propose a methodology to help analyse tendencies in MAS to complement those of simple inspection, Monte Carlo and syntactic proof. We suggest an architecture that ...
121
click to vote
DAC
2007
ACM
15 years 5 months ago
2007
ACM
While cryptographic algorithms are usually strong against mathematical attacks, their practical implementation, both in software and in hardware, opens the door to side-channel at...
96
Voted
DAC
2003
ACM
16 years 2 months ago
2003
ACM
In some cases, minimum Sum-Of-Products (SOP) expressions of Boolean functions can be derived by detecting decomposition and observing the functional properties such as unateness, ...