11561 search results - page 2225 / 2313 » A Language for Biochemical Systems |
CIKM
2004
Springer
14 years 3 months ago
2004
Springer
Document-centric XML collections contain text-rich documents, marked up with XML tags that add lightweight semantics to the text. Querying such collections calls for a hybrid quer...
EMSOFT
2004
Springer
14 years 3 months ago
2004
Springer
Energy efficiency is rapidly becoming a first class optimization parameter for modern systems. Caches are critical to the overall performance and thus, modern processors (both hig...
IFM
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
MIDDLEWARE
2004
Springer
14 years 3 months ago
2004
Springer
The need for sharing is well known in a large number of distributed applications. These applications are difficult to develop either for fully wired or mobile wireless networks. ...
NMR
2004
Springer
14 years 3 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...