2142 search results - page 195 / 429 » Representing Time in Multimedia Systems |
164
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Unit testing component-based distributed systems traditionally involved testing functional concerns of the application logic throughout the development lifecycle. In contrast, tes...
187
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
194
click to vote
SEMWEB
2005
Springer
16 years 12 hour ago
2005
Springer
Abstract. We present a method for rapid development of benchmarks for Semantic Web knowledge base systems. At the core, we have a synthetic data generation approach for OWL that is...
173
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Systems Biology Markup Language (SBML) is gaining broad usage as a standard for representing dynamical systems as data structures. The open source statistical programm...
180
click to vote
HASE
2007
IEEE
16 years 23 days ago
2007
IEEE
Electric Power Systems (EPS) become more and more critical for our society, since they provide vital services for the human activities. At the same time, obtaining dependable beha...