2502 search results - page 452 / 501 » Using probabilistic model checking in systems biology |
117
click to vote
GIS
2010
ACM
14 years 6 months ago
2010
ACM
With the prevalence of car navigation systems, indoor navigation systems are increasingly attracting attention in the indoor research area. However, the available models for indoo...
ENTCS
2006
14 years 12 months ago
2006
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
111
click to vote
CAISE
2000
Springer
15 years 4 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
VLDB
2002
ACM
14 years 11 months ago
2002
ACM
Extensibility is one of the mayor benefits of object-relational database management systems. We have used this system property to implement a StateMachine Module inside an object-...
117
click to vote
KDD
2008
ACM
16 years 7 days ago
2008
ACM
Rapid growth in the amount of data available on social networking sites has made information retrieval increasingly challenging for users. In this paper, we propose a collaborativ...