3828 search results - page 724 / 766 » Proof-Based System Engineering Using a Virtual System Model |
TCGOV
2005
Springer
14 years 2 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...
BMCBI
2008
13 years 9 months ago
2008
Background: Compared to other omics techniques, quantitative metabolomics is still at its infancy. Complex sample preparation and analytical procedures render exact quantification...
WOSP
2004
ACM
14 years 2 months ago
2004
ACM
Performance characteristics, such as response time, throughput and scalability, are key quality attributes of distributed applications. Current practice, however, rarely applies s...
AOSD
2007
ACM
14 years 1 months ago
2007
ACM
The layered architecture of middleware platforms (such as CORBA, SOAP, J2EE) is a mixed blessing. On the one hand, layers provide services such as demarshaling, session management...
DOCENG
2005
ACM
13 years 11 months ago
2005
ACM
This paper presents a new approach to text processing, based on textemes. These are atomic text units generalising the concepts of character and glyph by merging them in a common ...