Sciweavers

1922 search results - page 200 / 385
» Systems biology, models, and concurrency
Sort
View
LCTRTS
2004
Springer
15 years 6 months ago
Advanced control flow in Java card programming
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
Peng Li, Steve Zdancewic
CJ
1999
80views more  CJ 1999»
15 years 1 months ago
Resolving Executing-Committing Conflicts in Distributed Real-time Database Systems
In a distributed real-time database system (DRTDBS), a commit protocol is required to ensure transaction failure atomicity. If data conflicts occur between executing and committin...
Kam-yiu Lam, Chung-Leung Pang, Sang Hyuk Son, Jian...
CRV
2004
IEEE
159views Robotics» more  CRV 2004»
15 years 5 months ago
Attending to Visual Motion: Localizing and Classifying Affine Motion Patterns
The Selective Tuning Model is a proposal for modelling visual attention in primates and humans. This paper describes ongoing research to include attention to motion stimuli within ...
John K. Tsotsos, Marc Pomplun, Julio C. Martinez-T...
LICS
1996
IEEE
15 years 5 months ago
Reactive Modules
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
Rajeev Alur, Thomas A. Henzinger
IDA
2008
Springer
15 years 28 days ago
ExpertDiscovery system application for the hierarchical analysis of eukaryotic transcription regulatory regions based on DNA cod
We developed Relational Data Mining approach which allows to overcome essential limitations of the Data Mining and Knowledge Discovery techniques. In the paper the approach was im...
I. V. Khomicheva, Eugenii E. Vityaev, Elena A. Ana...