3828 search results - page 27 / 766 » Proof-Based System Engineering Using a Virtual System Model |
IJWBC
2010
13 years 6 months ago
2010
: Virtual communities play an important part in enabling people with common interests to interact with each other. Current research mostly focuses on the aspects of social interact...
EUROSYS
2007
ACM
14 years 4 months ago
2007
ACM
Data centers are often under-utilized due to over-provisioning as well as time-varying resource demands of typical enterprise applications. One approach to increase resource utili...
AOSD
2006
ACM
14 years 1 months ago
2006
ACM
OOP style requires programmers to organize their code according to objects (or nouns, using natural language as a metaphor), causing a program’s actions (verbs) to become scatte...
AMDO
2004
Springer
14 years 1 months ago
2004
Springer
In many product areas, a growing trend can be observed towards variant design, i.e. the development of customized designs based on variations of mature product models. We have deve...
COLING
2000
2000
Jurilinguistic Engineering in Cantonese Chinese: An N-gram-based Speech to Text Transcription System
13 years 9 months ago
A Cantonese Chinese transcription system to automatically convert stenograph code to Chinese characters ix reported. The major challenge in developing such a system is the critica...