1261 search results - page 195 / 253 » A taxonomy for identifying requirement interactions in softw... |
158
click to vote
FSTTCS
2009
Springer
16 years 21 days ago
2009
Springer
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
188
click to vote
IPPS
2006
IEEE
16 years 5 days ago
2006
IEEE
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...
187
click to vote
MICRO
2003
IEEE
15 years 11 months ago
2003
IEEE
With power dissipation becoming an increasingly vexing problem across many classes of computer systems, measuring power dissipation of real, running systems has become crucial for...
177
click to vote
ICSOFT
2008
15 years 7 months ago
2008
Abstract. Since the Internet has become a commodity in both wired and wireless environments, new applications and paradigms have emerged to explore this highly distributed and wide...
167
click to vote
ACSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
Currently the computer systems and software used by the average user offer virtually no security. Because of this many attacks, both simulated and real, have been described by the...