853 search results - page 167 / 171 » A supporting system for verification among models of the UML |
WCNC
2008
IEEE
14 years 2 months ago
2008
IEEE
—This paper provides analytical expressions to evaluate the performance of a random access wireless network in terms of user throughput and network throughput, subject to the con...
HPCA
1996
IEEE
13 years 12 months ago
1996
IEEE
This paper compares several implementations of entry consistency (EC) and lazy release consistency (LRC), two relaxed memory models in use with software distributed shared memory ...
MOBISYS
2009
ACM
14 years 8 months ago
2009
ACM
Radio Frequency IDentification (RFID) deployments are becoming increasingly popular in both industrial and consumer-oriented settings. To effectively exploit and operate such depl...
BMCBI
2010
13 years 7 months ago
2010
Background: Gene/protein recognition and normalization are important preliminary steps for many biological text mining tasks, such as information retrieval, protein-protein intera...
TCGOV
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We describe a web-based system to support groups in elaborating participatory budgets. Rather than using physical meetings with voting mechanisms, we promote virtual meet...