15155 search results - page 2755 / 3031 » System Software |
169
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
165
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Message Sequence Charts (MSCs) are an attractive visual formalism widely used to capture system requirements during the early design stages in domains such as telecommunication sof...
186
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Digital system designs are the product of valuable effort and knowhow. Their embodiments, from software and HDL program down to device-level netlist and mask data, represent caref...
178
click to vote
ADHOCNOW
2008
Springer
16 years 29 days ago
2008
Springer
Abstract. A current challenge in wireless sensor networks is the positioning of sensor nodes for indoor environments without dedicated hardware. Especially in this domain, many app...
190
click to vote
CBMS
2007
IEEE
16 years 29 days ago
2007
IEEE
One of the most considerable functions in a hospital's infection control program is the surveillance of antibiotic resistance. Several traditional methods used to measure it ...