Sciweavers

7124 search results - page 1276 / 1425
» Programming Languages and Operating Systems
Sort
View
ISORC
2008
IEEE
15 years 8 months ago
Hardware Objects for Java
Java, as a safe and platform independent language, avoids access to low-level I/O devices or direct memory access. In standard Java, low-level I/O it not a concern; it is handled ...
Martin Schoeberl, Christian Thalinger, Stephan Kor...
BIBM
2007
IEEE
144views Bioinformatics» more  BIBM 2007»
15 years 8 months ago
Kinetic Modeling Using BioPAX Ontology
Thousands of biochemical interactions are available for download from curated databases such as Reactome, Pathway Interaction Database and other sources in the Biological Pathways...
Oliver Ruebenacker, Ion I. Moraru, James C. Schaff...
ICDE
2007
IEEE
179views Database» more  ICDE 2007»
15 years 8 months ago
A New ILP-based Concept Discovery Method for Business Intelligence
In this work, we propose a multi-relational concept discovery method for business intelligence applications. Multi-relational data mining finds interesting patterns that span ove...
Seda Daglar Toprak, Pinar Senkul, Yusuf Kavurucu, ...
FSEN
2007
Springer
15 years 8 months ago
Zone-Based Universality Analysis for Single-Clock Timed Automata
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
Parosh Aziz Abdulla, Joël Ouaknine, Karin Qua...
138
Voted
LFCS
2007
Springer
15 years 8 months ago
Model Checking Knowledge and Linear Time: PSPACE Cases
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
Kai Engelhardt, Peter Gammie, Ron van der Meyden
« Prev « First page 1276 / 1425 Last » Next »