1172 search results - page 125 / 235 » Constructions of generalized Sidon sets |
214
click to vote
AB
2008
Springer
16 years 24 days ago
2008
Springer
Abstract. A well-known discrete approach to modeling biological regulatory networks is the logical framework developed by R. Thomas. The network structure is captured in an interac...
151
click to vote
HASE
2007
IEEE
16 years 23 days ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
172
click to vote
ICC
2007
IEEE
16 years 23 days ago
2007
IEEE
— A vast amount of broadcasting protocols has been developed for wireless ad hoc networks. To the best of our knowledge, however, these protocols assume a single-radio singlechan...
173
click to vote
IEEEPACT
2007
IEEE
16 years 22 days ago
2007
IEEE
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...
186
click to vote
BPM
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...